lgraph
Python module for working with L-graphs.
Installation
pip install l-graphCreating an L-graph
from lgraph import LGraph
lg = LGraph(3)
lg.add_edge(lg.initial_main.name, '1')
lg.add_edge('1', '2', label='b', round_trace=')', square_trace='[')
lg.add_edge('2', '3', label='c', square_trace=']')
lg.add_edge('3', lg.final_main.name)
lg.add_edge('1', '1', label='a', round_trace='(')
lg.add_edge('2', '2', label='b', round_trace=')', square_trace='[')
lg.add_edge('3', '3', label='c', square_trace=']')
Saving and loading L-graphs
lg.save('graph_examples/a^n_b^n_c^n')
lg.load('graph_examples/a^n_b^n')Cheking if string is in the language of the L-graph
lg = LGraph()
lg.load('graph_examples/a^n_b^n_c^n')
'abc' in lg
>>> True
'abccc' in lg
>>> False
# Finding path of the string
path = lg.find_successful_path('abc')
LGraph.path_to_string(path)
>>> initial_main---->1--a-->1--b-->2--c-->3---->final_mainType definition of the L-graph
L-graph types defined in LGraph.LGraphType
class LGraphType(Enum):
RECURSIVELY_ENUMERABLE = 0
CONTEXT_SENSITIVE = 1
CONTEXT_FREE = 2
REGULAR = 3To define type of the L-graph use:
lg.typeTo check properties of L-graph use:
lg.is_regular()
lg.is_context_free()
lg.is_context_sensitive()Opeartions
Left:
Right:
lg_left, lg_right = LGraph(), LGraph()
lg_left.load('graph_examples/left')
lg_right.load('graph_examples/right')Concatenation
lg = lg_left * lg_right
lg.save('graph_examples/concatenate_result')
Union
lg = lg_left + lg_right
lg.save('graph_examples/union_result')
Shorter version is also available:
lg_left *= lg_right
lg_left += lg_right
