| Package | Description |
|---|---|
| net.automatalib.automata.fsa | |
| net.automatalib.automata.vpda |
| Modifier and Type | Interface and Description |
|---|---|
interface |
DFA<S,I>
Deterministic finite state acceptor.
|
interface |
MutableDFA<S,I> |
| Modifier and Type | Interface and Description |
|---|---|
interface |
OneSEVPA<L,I>
Interface for the 1-SEVPA (1-single entry visibly push-down automaton), a visibly push-down automaton of specific
structure and semantics.
|
Copyright © 2018. All rights reserved.