Index

A

accepts() (automata.deterministic_finite_automaton.DeterministicFiniteAutomaton method) (automata.non_deterministic_finite_automaton.NondeterministicFiniteAutomaton method) add_hole_transition() (base_types.state.State method) add_multiple_transitions() (base_types.state.State method) add_transition() (base_types.state.State method) Alphabet (class in base_types.alphabet) append() (base_types.sequence.Sequence method) automata module automata.deterministic_finite_automaton module automata.non_deterministic_finite_automaton module

automata_definitions module automata_definitions.bollig_habermehl_kern_leucker_automata module automata_definitions.omlin_giles_automata module automata_definitions.other_automata module automata_definitions.tomitas_grammars module AutomataConvertor (class in utilities.automata_convertor)

B

base_types module base_types.alphabet module base_types.sequence module

base_types.state module base_types.symbol module BolligHabermehlKernLeuckerAutomata (class in automata_definitions.bollig_habermehl_kern_leucker_automata)

C

convert_nfa_to_dfa() (utilities.automata_convertor.AutomataConvertor static method)

create_graph() (model_exporters.image_exporting_strategy.ImageExportingStrategy method)

D

DeterministicFiniteAutomaton (class in automata.deterministic_finite_automaton)

DFAMinimizer (class in utilities.dfa_minimizer) DotExportingStrategy (class in model_exporters.dot_exporting_strategy)

E

EncodedFileExportingStrategy (class in model_exporters.encoded_file_exporting_strategy) EncodedFileImporter (class in utilities.encoded_file_importer) ExecutionState (class in automata.non_deterministic_finite_automaton) export() (model_exporters.dot_exporting_strategy.DotExportingStrategy method) (model_exporters.encoded_file_exporting_strategy.EncodedFileExportingStrategy method) (model_exporters.image_exporting_strategy.ImageExportingStrategy method) (model_exporters.image_exporting_strategy_without_hole_state.ImageExportingStrategyWithoutHoleState method) (model_exporters.wfa_image_exporter.WFAImageExporter method)

G

generate_dfa() (in module utilities.simple_dfa_generator) get_a_automaton() (automata_definitions.omlin_giles_automata.OmlinGilesAutomata static method) get_a_ending_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_a_ending_with_cs_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_a_or_b_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_ab_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_ab_with_cs_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_all_automata() (automata_definitions.bollig_habermehl_kern_leucker_automata.BolligHabermehlKernLeuckerAutomata static method) (automata_definitions.omlin_giles_automata.OmlinGilesAutomata static method) (automata_definitions.other_automata.OtherAutomata static method) (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_alternating_bit_protocol_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_alternating_bit_protocol_z_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_automaton_1() (automata_definitions.other_automata.OtherAutomata static method) (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_automaton_1_minimized() (automata_definitions.other_automata.OtherAutomata static method) get_automaton_2() (automata_definitions.other_automata.OtherAutomata static method) (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_automaton_2_minimized() (automata_definitions.other_automata.OtherAutomata static method) get_automaton_3() (automata_definitions.other_automata.OtherAutomata static method) (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_automaton_3_minimized() (automata_definitions.other_automata.OtherAutomata static method) get_automaton_4() (automata_definitions.other_automata.OtherAutomata static method) (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_automaton_4_minimized() (automata_definitions.other_automata.OtherAutomata static method) get_automaton_5() (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_automaton_6() (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_automaton_7() (automata_definitions.tomitas_grammars.TomitasGrammars static method) get_az_automaton() (automata_definitions.omlin_giles_automata.OmlinGilesAutomata static method) get_b_automaton() (automata_definitions.omlin_giles_automata.OmlinGilesAutomata static method) get_bz_automaton() (automata_definitions.omlin_giles_automata.OmlinGilesAutomata static method) get_complex_ab_prefixed_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_dfa_1() (automata_definitions.other_automata.OtherAutomata static method)

get_dfa_2() (automata_definitions.other_automata.OtherAutomata static method) get_dfa_3() (automata_definitions.other_automata.OtherAutomata static method) get_dfa_4() (automata_definitions.other_automata.OtherAutomata static method) get_dfa_5() (automata_definitions.other_automata.OtherAutomata static method) get_different_ecommerce_automaton_NFA() (automata_definitions.other_automata.OtherAutomata static method) get_dolzhenko_jonoska_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_ecommerce_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_empty_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_first_example_DFA() (automata_definitions.bollig_habermehl_kern_leucker_automata.BolligHabermehlKernLeuckerAutomata static method) get_first_example_NFA() (automata_definitions.bollig_habermehl_kern_leucker_automata.BolligHabermehlKernLeuckerAutomata static method) get_label_for() (model_exporters.image_exporting_strategy.ImageExportingStrategy method) get_nfa_1() (automata_definitions.other_automata.OtherAutomata static method) get_nfa_2() (automata_definitions.other_automata.OtherAutomata static method) get_nfa_3() (automata_definitions.other_automata.OtherAutomata static method) get_nfa_4() (automata_definitions.other_automata.OtherAutomata static method) get_nfa_5() (automata_definitions.other_automata.OtherAutomata static method) get_non_minimizable_automaton_1() (automata_definitions.other_automata.OtherAutomata static method) get_non_minimizable_automaton_2() (automata_definitions.other_automata.OtherAutomata static method) get_non_minimizable_automaton_3() (automata_definitions.other_automata.OtherAutomata static method) get_nonempty_one_ending_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_nonempty_zero_ending_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_prefixes() (base_types.sequence.Sequence method) get_program_workflow_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_reduced_ecommerce_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_sigma_star_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_simpler_ab_prefixed_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_suffixes() (base_types.sequence.Sequence method) get_uneven_number_of_as_and_symbols_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_uneven_number_of_as_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_uneven_number_of_as_or_symbols_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_uneven_number_of_symbols_automaton() (automata_definitions.other_automata.OtherAutomata static method) get_zero_ending_automaton() (automata_definitions.other_automata.OtherAutomata static method) getrandbits() (in module utilities.simple_dfa_generator)

H

hole (base_types.state.State attribute), [1]

I

ImageExportingStrategy (class in model_exporters.image_exporting_strategy) ImageExportingStrategyWithoutHoleState (class in model_exporters.image_exporting_strategy_without_hole_state) import_generated_automata() (utilities.encoded_file_importer.EncodedFileImporter static method)

initial_state (automata.deterministic_finite_automaton.DeterministicFiniteAutomaton attribute) initial_states (automata.non_deterministic_finite_automaton.NondeterministicFiniteAutomaton attribute) is_deterministic() (base_types.state.State property) is_final (base_types.state.State attribute)

J

join_DFA_set() (in module utilities.dfa_operations)

join_DFAs() (in module utilities.dfa_operations)

M

minimize() (utilities.dfa_minimizer.DFAMinimizer method) model_exporters module model_exporters.dot_exporting_strategy module model_exporters.encoded_file_exporting_strategy module model_exporters.image_exporting_strategy module model_exporters.image_exporting_strategy_without_hole_state module model_exporters.wfa_image_exporter module module automata automata.deterministic_finite_automaton automata.non_deterministic_finite_automaton automata_definitions automata_definitions.bollig_habermehl_kern_leucker_automata automata_definitions.omlin_giles_automata automata_definitions.other_automata automata_definitions.tomitas_grammars base_types base_types.alphabet base_types.sequence base_types.state base_types.symbol model_exporters model_exporters.dot_exporting_strategy model_exporters.encoded_file_exporting_strategy model_exporters.image_exporting_strategy model_exporters.image_exporting_strategy_without_hole_state model_exporters.wfa_image_exporter utilities utilities.automata_convertor utilities.dfa_minimizer utilities.dfa_operations utilities.encoded_file_importer utilities.simple_dfa_generator

N

name (base_types.state.State attribute) next_state_for() (base_types.state.State method)

next_states_for() (base_types.state.State method) NondeterministicFiniteAutomaton (class in automata.non_deterministic_finite_automaton)

O

OmlinGilesAutomata (class in automata_definitions.omlin_giles_automata)

OtherAutomata (class in automata_definitions.other_automata)

S

sequence (automata.non_deterministic_finite_automaton.ExecutionState attribute) Sequence (class in base_types.sequence) state (automata.non_deterministic_finite_automaton.ExecutionState attribute) State (class in base_types.state)

states (automata.deterministic_finite_automaton.DeterministicFiniteAutomaton attribute) (automata.non_deterministic_finite_automaton.NondeterministicFiniteAutomaton attribute) Symbol (class in base_types.symbol) SymbolStr (class in base_types.symbol)

T

TomitasGrammars (class in automata_definitions.tomitas_grammars)

transitions (base_types.state.State attribute)

U

union_DFA_set() (in module utilities.dfa_operations) union_DFAs() (in module utilities.dfa_operations) utilities module utilities.automata_convertor module utilities.dfa_minimizer module

utilities.dfa_operations module utilities.encoded_file_importer module utilities.simple_dfa_generator module

V

value() (base_types.sequence.Sequence property) (base_types.symbol.Symbol property) (base_types.symbol.SymbolStr property)

W

WFAImageExporter (class in model_exporters.wfa_image_exporter)