Members:
Santiago Cardoso
Lucas Gabriel
Final work of the Linguagens Formais e Autômatos (LFA) discipline, done in the Python programming language.
$ git clone https://github.com/santiagocardoso/simulador_automatos_com_pilha.git
Create a JSON file with the following example:
{
"type":"PDA",
"pda":{
"states":{
"s0":[
{
"label":"a,,a",
"next":"s0"
},
{
"label":"b,,b",
"next":"s0"
},
{
"label":",,",
"next":"s1"
}
],
"s1":[
{
"label":"a,a,",
"next":"s1"
},
{
"label":"b,b,",
"next":"s1"
}
]
}
},
"start":"s0",
"final":"s1",
"tests":{
"accept":"abba"
}
}Execution:
python3 pda.py