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](en.wikipedia.org/wiki/Deterministic_finite_automaton))
-
‘Mealy` machine ([Wikipedia](en.wikipedia.org/wiki/Mealy_machine))
-
‘Moore` machine ([Wikipedia](en.wikipedia.org/wiki/Moore_machine))
-
‘VPA` (visibly pushdown automaton) ([Wikipedia](en.wikipedia.org/wiki/Nested_word#Visibly_pushdown_automaton))
Defined Under Namespace
Modules: ProcUtil Classes: DFA, Mealy, Moore, MooreLike, SPA, TransitionSystem, VPA