Results 281 to 290 of about 47,236 (329)

Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove

Texts in Computer Science
Marco T. Morazán
semanticscholar   +1 more source

A SIMULATOR FOR TEACHING AUTOMATAS AND FORMAL LANGUAGES - FLyA

Proceedings of the 11th International Conference on Enterprise Information, 2009
Héctor A. Montes Venegas, J. Raymundo Marcial-Romero, J. Antonio Hernández Servín, Pedro A. Alvarez Contreras   +3 more
openaire   +2 more sources

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
, Yang Liu
exaly  

Formal Languages and their Relation to Automata

Nuclear Science and Engineering, 1970
openaire   +2 more sources

Formal grammars in linguistics and psycholinguistics, vol. 1: An introduction to the theory of formal languages and automata (review)

, 2011
A. Joshi
semanticscholar   +1 more source

INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA

, 2002
Kou-Yuan Huang
semanticscholar   +1 more source

Review of "Algebraic and automata-theoretic properties of formal languages" by Seymour Ginsburg. North Holland, 1975.

SIGA, 1976
S. Eilenberg
semanticscholar   +1 more source

Observability of Boolean control networks: A unified approach based on the theories of finite automata and formal languages

Proceedings of the 33rd Chinese Control Conference, 2014
Zhang Kuize, Zhang Lijun
semanticscholar   +1 more source

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly  

Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words

, 2014
M. Rigo
semanticscholar   +1 more source