Login / Signup

Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata.

Yuya UezatoYasuhiko Minamide
Published in: DLT (2016)
Keyphrases
  • cellular automata
  • regular expressions
  • finite state
  • model checking
  • finite state machines
  • database
  • genetic algorithm
  • artificial intelligence
  • multi agent
  • data model
  • finite automata
  • finite state automata
  • lattice gas