Algebraic Theory of Automata

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:analyzes gptkb:finite_automata
regular languages
gptkbp:appliesTo algebraic methods
gptkbp:hasApplication circuit complexity
language recognition
gptkbp:hasConcept Eilenberg's theorem
Krohn–Rhodes theorem
syntactic monoid
transition monoid
varieties of languages
gptkbp:hasKeyContributor gptkb:John_Rhodes
gptkb:Samuel_Eilenberg
gptkb:Marcel-Paul_Schützenberger
https://www.w3.org/2000/01/rdf-schema#label Algebraic Theory of Automata
gptkbp:relatedTo theoretical computer science
formal languages
gptkbp:studies automata
gptkbp:uses groups
monoids
semigroups
gptkbp:bfsParent gptkb:Abraham_Ginzburg
gptkbp:bfsLayer 6