Results 1 to 10 of about 48,609 (342)
Programming-Based Formal Languages and Automata Theory [PDF]
Texts in Computer Science, 2023 Marco T. Morazán
semanticscholar +3 more sources
A bialgebraic approach to automata and formal language theory [PDF]
Annals of Pure and Applied Logic, 2008 29 pages, fixed typos, added ...
James Worthington
openaire +4 more sources
Proceedings 14th International Conference on Automata and Formal Languages
, 2014 The 14th International Conference Automata and Formal Languages (AFL 2014) was held in Szeged, Hungary, from the 27th to the 29th of May, 2014. The conference was organized by the Department of Foundations of Computer Science of the University of Szeged. Topics of interest covered the theory and applications of automata and formal languages and related
��sik, Zolt��n +1 more
+6 more sources
Computer Aided Verification32nd International Conference, 2020 Computer science class enrollments have rapidly risen in the past decade. With current class sizes, standard approaches to grading and providing personalized feedback are no longer possible and new techniques become both feasible and necessary.
D’Antoni L +4 more
europepmc +2 more sources
A collection of tools for making automata theory and formal languages come alive [PDF]
Technical Symposium on Computer Science Education, 1997 Susan H. Rodger +6 more
openalex +2 more sources
Automata Theory and Formal Languages
Texts in Computer Science, 2021 Zhe Hou
openaire +2 more sources
Proceedings 15th International Conference on Automata and Formal Languages
Electronic Proceedings in Theoretical Computer Science, 2017 The 15th International Conference on Automata and Formal Languages (AFL 2017) was held in Debrecen, Hungary, from September 4 to 6, 2017. The conference was organized by the Faculty of Informatics of the University of Debrecen and the Faculty of Informatics of the E\"otv\"os Lor\'and University of Budapest.
Erzsébet Csuhaj-Varjú +2 more
+6 more sources
Workshop on Formal Languages, Automata and Petri Nets
, 1998 This report contains abstracts of the lectures presented at the workshop 'Formal Languages, Automata and Petri-Nets' held at the University of Stuttgart on January 16-17, 1998. The workshop brought together partners of the German-Hungarian project No. 233.6, Forschungszentrum Karlsruhe, Germany, and No. D/102, TeT Foundation, Budapest, Hungary.
Holger Petersen
openaire +4 more sources
An Introduction to Formal Languages and Automata [PDF]
The Computer Journal, 1992 Ken Moody
openaire +2 more sources