Package fsa_recognizer :: Module class_nondet_fsa_recognize :: Class nondet_fsa

Class nondet_fsa

class_fsa_recognize.fsa --+
                          |
                         nondet_fsa

Class for non-deterministic fsa's, subclass of fsa that differs from it in allows state transition functions with multiple values for a single symbol as well as ε-transitions.

Defines its own check_nondet_transitions method executed at initialization time.

Instance Methods

[hide private]

__init__(self, transitions, finals, initial=0)

source code

check_nondet_transitions(self)
Checks that for each state in self.transitions, the values of in the state-transition dictionary are tules.

source code

undefined_value(self)
Interface to print function telling it what to ignore.

source code

Inherited from class_fsa_recognize.fsa: __repr__, add_finals, add_to_alphabet, check_finals_and_initial, compute_alphabet, minimize_alphabet

Method Details

[hide private]

init(self, transitions, finals, initial=0)
(Constructor)

source code

Parameters:

transitions - a list of dictionaries, one for each state
finals - a set of final states
initial - initial state

Overrides: class_fsa_recognize.fsa.__init__

(inherited documentation)

undefined_value(self)

source code

Interface to print function telling it what to ignore. Returns the transition table value equivalent to undefined

Overrides: class_fsa_recognize.fsa.undefined_value

Class nondet_fsa

__init__(self, transitions, finals, initial=0) (Constructor)

undefined_value(self)

init(self, transitions, finals, initial=0)
(Constructor)