Results 181 to 190 of about 45,230 (224)
Some of the next articles are maybe not open access.
An Introduction to the Theory of Formal Languages and Automata
1974The present text is a re-edition of Volume I of Formal Grammars in Linguistics and Psycholinguistics, a three-volume work published in 1974. This volume is an entirely self-contained introduction to the theory of formal grammars and automata, which hasn’t lost any of its relevance.
openaire +2 more sources
Automata Theory and Formal Languages (Third Edition)
2011These lecture notes present some basic notions and results on Automata Theory, Formal Languages Theory, Computability Theory, and Parsing Theory. I prepared these notes for a course on Automata, Languages, and Translators which I am teaching at the University of Roma Tor Vergata.
openaire +1 more source
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Palina Tolmach, Yang Liu
exaly
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Elementary Computability, Formal Languages and Automata
IEE Proceedings E Computers and Digital Techniques, 1982openaire +1 more source
American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer
Ca-A Cancer Journal for Clinicians, 2002Carolyn D Runowicz, Robert A Smith
exaly