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
|