Regular Separability of Parikh Automata.

Lorenzo Clemente Wojciech Czerwinski Slawomir Lasota Charles Paperman

Published in: ICALP (2017)

Keyphrases

context free
regular languages
finite automata
probabilistic automata
cellular automata
regular expressions
finite state
tree automata
mobile robot
real time
databases
artificial intelligence
data structure
pattern recognition
multi agent systems
context sensitive