A note on encoding infinity in ZFA with applications to register automata.

Michal R. Przybylek

Published in: CoRR (2023)

Keyphrases

cellular automata
finite state
finite automata
regular expressions
finite state machines
lattice gas
formal language theory
data sets
neural network
artificial intelligence
model checking
fractal image compression
formal languages