Programs with lists are counter automata.

Ahmed Bouajjani Marius Bozga Peter Habermehl Radu Iosif Pierre Moro Tomás Vojnar

Published in: Formal Methods Syst. Des. (2011)

Keyphrases

turing machine
finite state machines
regular expressions
state space
answer sets
lattice gas
neural network
data mining
machine learning
genetic algorithm
knowledge base
database systems
information technology
cellular automata
finite state
automatic programming