{"entities":{"Q7361330":{"pageid":31519529,"ns":120,"title":"Item:Q7361330","lastrevid":105365000,"modified":"2026-10-07T13:35:32Z","type":"item","id":"Q7361330","labels":{"en":{"language":"en","value":"LL(1) Parser Generator"}},"descriptions":{"en":{"language":"en","value":"AFP entry LL1_Parser"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"357b2a3c9df06c6ae0260ed9be7cb36e044fcc0d","datavalue":{"value":"https://isa-afp.org/entries/LL1_Parser.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361330$6343C1F9-922B-4BFD-BB1A-8D6BE64543B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98b353a958cc9248956b7b038e8ac0f5d18e0298","datavalue":{"value":{"time":"+2024-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361330$54B49C0D-784A-4C29-B4A9-1347855C69E2","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"b8566df73b332e09f03561eaa66d5f78b9a5fe4c","datavalue":{"value":"Sarah Tilscher","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361330$B2A44BA2-75EA-4EFD-A39C-D6F1359D615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"8ad3851178fd4351b5225d703448b2fe1218d392","datavalue":{"value":"Simon Wimmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361330$FE61313C-D644-43BF-AA38-123AEFE32877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0dc19a2c44b94254e9dfd584da092a6b741852e","datavalue":{"value":{"text":"LL(1) Parser Generator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361330$9F69B902-0879-4A44-88BD-B22FDC6C6487","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4b55b63736de41182e2ed0b884836ef707c3a41","datavalue":{"value":"In this formalization, we implement an LL(1) parser generator that first pre-computes the NULLABLE set, FIRST map and FOLLOW map, to then build a lookahead table. We prove correctness, soundness and error-free termination for LL(1) grammars. We provide the JSON grammar and show how to parse a tokenized JSON string using a parser created with the verified parser generator. The proof structure is significantly based on Vermillion , an LL(1) parser generator verified in Coq.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361330$75349228-A587-4BB0-ADFE-2E3F59EF1FB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c657564222487d7d2d27c701b854ffb99d4ec9a","datavalue":{"value":{"entity-type":"item","numeric-id":5894115,"id":"Q5894115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361330$D240841C-E9E4-43E8-9812-19970B5E193D","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361330$6B2A7FCC-D6EA-4EEB-9CA0-0D89D6F0CF3B","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361330$64E2A6CA-D789-4C03-B91B-6327EC890884","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"1157f6239d5752bb0ad1cee836272bd46c6bf40f","datavalue":{"value":{"entity-type":"item","numeric-id":7360772,"id":"Q7360772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361330$183DD5D8-EB88-4BF9-B5BA-3AE4C5A85672","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361330$3D7F1F87-826F-495F-9587-FB9F336011FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LL(1) Parser Generator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LL(1)_Parser_Generator"}}}}}