• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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