def isLeftLinear(Grammar):
if OneVar_LHS(Grammar) == False:
raise isNotRestricted(Grammar)
for state in Grammar.dict_grammar:
for rule in Grammar.dict_grammar[state]:
if rule == '%':
pass
else:
variable = containsStates(Grammar,rule)
if variable == [] and len(rule)== num_terminal(Grammar,rule):
pass
elif len(variable) > 1 or isState(Grammar,rule[0]) == False:
return [False,rule]
return [True]
def isLeftLinear(Grammar):
if OneVar_LHS(Grammar) == False:
raise isNotRestricted(Grammar)
for state in Grammar.dict_grammar:
for rule in Grammar.dict_grammar[state]:
if rule == '%':
pass
else:
variable = containsStates(Grammar,rule)
if variable == [] and len(rule)== num_terminal(Grammar,rule):
pass
elif len(variable) > 1 or isState(Grammar,rule[0]) == False:
return [False,rule]
return [True]
def isContextFree(Grammar):
if OneVar_LHS == False:
raise isNotRestricted(Grammar)
else:
return True
def isContextFree(Grammar):
if OneVar_LHS == False:
raise isNotRestricted(Grammar)
else:
return True