Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height.
Viliam GeffertZuzana BednárováCarlo MereghettiBeatrice PalanoPublished in: CSR (2013)
Keyphrases
- finite state
- finite automata
- formal language theory
- programming language
- model checking
- real valued
- formal languages
- probabilistic automata
- language learning
- turing machine
- finite state machines
- natural language
- finite automaton
- regular languages
- regular expressions
- markov chain
- artificial intelligence
- operational semantics
- language constructs
- context free
- algebraic operations
- specification language
- abstract data types
- initial state
- database
- object oriented
- neural network
- databases