Formal Language Theory

GPTKB entity

Statements (51)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:appliesTo gptkb:artificial_intelligence
gptkb:programming_language
natural language processing
compiler design
gptkbp:concerns language recognition
grammars
language generation
syntax of languages
gptkbp:hasConcept gptkb:alphabet
gptkb:language
gptkb:syntax
determinism
ambiguity
homomorphism
morphism
decidability
generator
complexity
parsing
string
computability
derivation
equivalence
finite state machine
nondeterminism
production rule
acceptor
language class
minimization
recognizer
closure property
recognizability
regular expression
enumerator
https://www.w3.org/2000/01/rdf-schema#label Formal Language Theory
gptkbp:relatedTo gptkb:logic
automata theory
theoretical computer science
computational linguistics
gptkbp:studies formal languages
gptkbp:uses gptkb:Chomsky_hierarchy
gptkb:finite_automata
gptkb:pushdown_automata
Turing machines
context-free languages
context-sensitive languages
recursively enumerable languages
regular languages
gptkbp:bfsParent gptkb:Formal_Grammar
gptkbp:bfsLayer 7