{"name":"AutomataLab — Languages and Automata","short_name":"AutomataLab","description":"An interactive workshop for formal languages and automata theory: finite automata, pushdown automata, Turing machines and grammars — fully offline. Available in English, German and Hungarian.","start_url":".","display":"standalone","background_color":"#0f1117","theme_color":"#0f1117","lang":"en","scope":"/","icons":[{"src":"icon-192.png","sizes":"192x192","type":"image/png"},{"src":"icon-512.png","sizes":"512x512","type":"image/png"},{"src":"icon-512.png","sizes":"512x512","type":"image/png","purpose":"maskable"}]}