forgex_automaton_m Module

The forgex_automaton_m module contains automaton_t definition and its type-bound procedures.


Uses


Derived Types

type, public ::  automaton_t

This type contains an NFA graph, and the DFA graph that are derived from it.

Components

Type Visibility Attributes Name Initial
type(cube_t), public :: cube
type(dfa_graph_t), public :: dfa
type(nfa_state_set_t), public :: entry_set
integer(kind=int32), public :: initial_index = DFA_NOT_INIT
type(nfa_graph_t), public :: nfa
integer(kind=int32), public :: nfa_entry
integer(kind=int32), public :: nfa_exit
type(tree_t), public :: tree

Type-Bound Procedures

procedure, public :: construct => automaton__construct_dfa
procedure, public :: destination => automaton__destination
procedure, public :: epsilon_closure => automaton__epsilon_closure
procedure, public :: get_reachable => automaton__compute_reachable_state
procedure, public :: init => automaton__initialize
procedure, public :: preprocess => automaton__build_nfa
procedure, public :: print => automaton__print_info
procedure, public :: print_dfa => automaton__print_dfa
procedure, public :: register_state => automaton__register_state

Functions

private pure function automaton__compute_reachable_state(self, curr_i, symbol) result(state_set)

This function calculates a set of possible NFA states from the current DFA state by the input character symbol.

Read more…

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(in) :: self
integer(kind=int32), intent(in) :: curr_i
character(len=*), intent(in) :: symbol

Return Value type(nfa_state_set_t)

private pure function automaton__destination(self, curr, symbol) result(ret)

This function returns the dfa transition object, that contains the destination index and the corresponding set of transitionable NFA state.

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(in) :: self
integer(kind=int32), intent(in) :: curr
character(len=*), intent(in) :: symbol

Return Value type(dfa_transition_t)


Subroutines

private pure subroutine automaton__build_nfa(self, tree)

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(inout) :: self
type(tree_t), intent(in) :: tree

private pure subroutine automaton__construct_dfa(self, curr_i, dst_i, symbol, d_tra)

This subroutine gets the destination index of DFA nodes from the current index with given symbol, adding a DFA node if necessary.

Read more…

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(inout) :: self
integer(kind=int32), intent(in) :: curr_i
integer(kind=int32), intent(inout) :: dst_i
character(len=*), intent(in) :: symbol
type(dfa_transition_t), intent(in) :: d_tra

private pure recursive subroutine automaton__epsilon_closure(self, closure, n_index)

Compute the ε-closure for a set of NFA states.

Read more…

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(inout) :: self
type(nfa_state_set_t), intent(inout) :: closure
integer, intent(in) :: n_index

private pure subroutine automaton__initialize(self)

This subroutine reads tree and tree_top variable, constructs the NFA graph, and then initializes the DFA graph.

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(inout) :: self

private subroutine automaton__print_dfa(self, uni)

This subroutine prints DFA states and transitions to a given unit number.

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(in) :: self
integer(kind=int32), intent(in) :: uni

private subroutine automaton__print_info(self)

This subroutine provides the automata' summarized information.

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(in) :: self

private pure subroutine automaton__register_state(self, state_set, res)

This subroutine takes a nfa_state_set_t type argument as input and register the set as a DFA state node in the DFA graph.

Read more…

Arguments

Type IntentOptional Attributes Name
class(automaton_t), intent(inout) :: self
type(nfa_state_set_t), intent(in) :: state_set
integer(kind=int32), intent(inout) :: res