stormvogel.dfa

Attributes

State
Symbol
Predicate

Classes

SymbolicDFA
ProductState	Represent a bird state as a dynamic attribute container.

Functions

product(mdp, dfa)
plot_symbolic_dfa_pydot(dfa[, output_file, rankdir])	Plot a SymbolicDFA using Graphviz positions, but render labels with LaTeX in SVG.

Module Contents

stormvogel.dfa.State

stormvogel.dfa.Symbol

stormvogel.dfa.Predicate

class stormvogel.dfa.SymbolicDFA(states: Iterable[State], initial_state: State, accepting_states: Iterable[State])

Bases: Generic[State]

states

initial_state

accepting_states

_transitions: Dict[State, List[Tuple[Predicate, State, str | None]]]

add_transition(source: State, predicate: Predicate, target: State, label: str | None = None)

step(state: State, symbol: Symbol) → State

run(word: Iterable[Symbol]) → State

accepts(word: Iterable[Symbol]) → bool

__repr__() → str

class stormvogel.dfa.ProductState(mdp, dfa, mdp_state, dfa_state)

Bases: stormvogel.bird.BirdState

Represent a bird state as a dynamic attribute container.

property mdp_state: stormvogel.model.State

property dfa_state: object

property dfa: SymbolicDFA

property mdp: stormvogel.model.Model

stormvogel.dfa.product(mdp: stormvogel.model.Model, dfa: SymbolicDFA)

stormvogel.dfa.plot_symbolic_dfa_pydot(dfa, output_file=None, rankdir='LR')

Plot a SymbolicDFA using Graphviz positions, but render labels with LaTeX in SVG.