Parikhʼs theorem: A simple and direct automaton construction.

Javier Esparza Pierre Ganty Stefan Kiefer Michael Luttenberger

Published in: Inf. Process. Lett. (2011)

Keyphrases

genetic algorithm
information systems
image segmentation
real time
neural network
metadata
multi agent
wide range
cooperative
expert systems
black box
finite state machines
construction process
finite automata