Undecidability in Integer Weighted Finite Automata.
Vesa HalavaTero HarjuPublished in: Fundam. Informaticae (1999)
Keyphrases
- finite automata
- grammatical inference
- regular expressions
- probabilistic automata
- deterministic automata
- probabilistic planning
- tree automata
- finite automaton
- regular languages
- description logics
- hidden markov models
- computational model
- inductive inference
- pattern matching
- domain specific
- data sources
- query language
- data model