Decidability of The Equivalence Problem for Finitely Ambiguous Finance Automata.
Kosaburo HashiguchiKenichi IshiguroShuji JimboPublished in: Int. J. Algebra Comput. (2002)
Keyphrases
- automata theoretic
- query containment
- regular expressions
- description logics
- finite number
- query answering
- temporal logic
- computational intelligence
- finite automata
- probabilistic automata
- cellular automata
- decision procedures
- finite state machines
- neural network
- regular path queries
- tree automata
- data sets
- conjunctive queries
- equivalence relation
- financial markets
- expert systems
- artificial intelligence
- knowledge representation
- lattice gas
- query language