Module: Lernen::Automaton

Defined in:

lib/lernen/automaton.rb,
lib/lernen/automaton/dfa.rb,
lib/lernen/automaton/spa.rb,
lib/lernen/automaton/vpa.rb,
lib/lernen/automaton/mealy.rb,
lib/lernen/automaton/moore.rb,
lib/lernen/automaton/proc_util.rb,
lib/lernen/automaton/moore_like.rb,
lib/lernen/automaton/transition_system.rb

Overview

This is a namespace for types of automata (transition systems).

In this library, the following transition systems are supported.

• DFA (deterministic finite-state automaton) (Wikipedia)
• Mealy machine (Wikipedia)
• Moore machine (Wikipedia)
• VPA (visibly pushdown automaton) (Wikipedia)

Defined Under Namespace

Modules: ProcUtil Classes: DFA, Mealy, Moore, MooreLike, SPA, TransitionSystem, VPA