@webwriter/automaton/snippets/pda/example-complex.html

Build, visualize and interactive automata of different kinds (DFA, NFA, PDA).

<webwriter-automaton class="ww-widget ww-v0.8.0 ww-selected" contenteditable="" nodes="[{&quot;id&quot;:&quot;999c24f4-8d13-4096-9523-0cd437283ae4&quot;,&quot;label&quot;:&quot;q1&quot;,&quot;x&quot;:-207,&quot;y&quot;:-91,&quot;initial&quot;:true},{&quot;id&quot;:&quot;bb514fa6-ad1f-4b01-aad3-24ed0a02f25f&quot;,&quot;label&quot;:&quot;q2&quot;,&quot;x&quot;:47,&quot;y&quot;:-92},{&quot;id&quot;:&quot;7f1cc623-0392-47b3-b2e1-50fb0125e2e6&quot;,&quot;label&quot;:&quot;q3&quot;,&quot;x&quot;:49,&quot;y&quot;:103},{&quot;id&quot;:&quot;9ce855f1-8cc7-4ed6-8d7e-b6ac4601080f&quot;,&quot;label&quot;:&quot;q4&quot;,&quot;x&quot;:-201,&quot;y&quot;:102,&quot;final&quot;:true}]" transitions="[{&quot;id&quot;:&quot;f3847e57-83ad-4d10-9dc0-ed609835d195&quot;,&quot;from&quot;:&quot;999c24f4-8d13-4096-9523-0cd437283ae4&quot;,&quot;to&quot;:&quot;bb514fa6-ad1f-4b01-aad3-24ed0a02f25f&quot;,&quot;symbols&quot;:[&quot;&quot;],&quot;label&quot;:&quot;ε,X|$X&quot;,&quot;stackOperations&quot;:[{&quot;operation&quot;:&quot;push&quot;,&quot;symbol&quot;:&quot;$&quot;,&quot;condition&quot;:&quot;&quot;}]},{&quot;id&quot;:&quot;38c138c6-12cf-4f22-9aed-7cb60d77ef28&quot;,&quot;from&quot;:&quot;bb514fa6-ad1f-4b01-aad3-24ed0a02f25f&quot;,&quot;to&quot;:&quot;bb514fa6-ad1f-4b01-aad3-24ed0a02f25f&quot;,&quot;symbols&quot;:[&quot;0&quot;,&quot;1&quot;],&quot;label&quot;:&quot;0,X|0X\n1,X|1X&quot;,&quot;stackOperations&quot;:[{&quot;operation&quot;:&quot;push&quot;,&quot;symbol&quot;:&quot;0&quot;},{&quot;operation&quot;:&quot;push&quot;,&quot;symbol&quot;:&quot;1&quot;}]},{&quot;id&quot;:&quot;23e0ad59-29a0-4f90-bb6f-d61937eedd9e&quot;,&quot;from&quot;:&quot;bb514fa6-ad1f-4b01-aad3-24ed0a02f25f&quot;,&quot;to&quot;:&quot;7f1cc623-0392-47b3-b2e1-50fb0125e2e6&quot;,&quot;symbols&quot;:[&quot;&quot;],&quot;label&quot;:&quot;ε,X|X&quot;,&quot;stackOperations&quot;:[{&quot;operation&quot;:&quot;none&quot;,&quot;symbol&quot;:&quot;&quot;}]},{&quot;id&quot;:&quot;7cb6d54e-84e1-4ace-8e66-8effba1e10a3&quot;,&quot;from&quot;:&quot;7f1cc623-0392-47b3-b2e1-50fb0125e2e6&quot;,&quot;to&quot;:&quot;7f1cc623-0392-47b3-b2e1-50fb0125e2e6&quot;,&quot;symbols&quot;:[&quot;0&quot;,&quot;1&quot;],&quot;label&quot;:&quot;0,0|ε\n1,1|ε&quot;,&quot;stackOperations&quot;:[{&quot;operation&quot;:&quot;pop&quot;,&quot;symbol&quot;:&quot;0&quot;},{&quot;operation&quot;:&quot;pop&quot;,&quot;symbol&quot;:&quot;1&quot;}]},{&quot;id&quot;:&quot;fd883ac9-4700-4e27-a1db-3827eef76b3f&quot;,&quot;from&quot;:&quot;7f1cc623-0392-47b3-b2e1-50fb0125e2e6&quot;,&quot;to&quot;:&quot;9ce855f1-8cc7-4ed6-8d7e-b6ac4601080f&quot;,&quot;symbols&quot;:[&quot;&quot;],&quot;label&quot;:&quot;ε,$|ε&quot;,&quot;stackOperations&quot;:[{&quot;operation&quot;:&quot;pop&quot;,&quot;symbol&quot;:&quot;$&quot;}]}]" type="pda" testlanguage="" testwords="[]" permissions="777"></webwriter-automaton>