{"entities":{"Q7361208":{"pageid":31519163,"ns":120,"title":"Item:Q7361208","lastrevid":105364085,"modified":"2026-10-07T13:35:14Z","type":"item","id":"Q7361208","labels":{"en":{"language":"en","value":"Greibach Normal Form"}},"descriptions":{"en":{"language":"en","value":"AFP entry Greibach_Normal_Form"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"467605cc7e472a9022905c57a50150f6a242bcea","datavalue":{"value":"https://isa-afp.org/entries/Greibach_Normal_Form.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361208$FE0BD6B5-2B5A-462C-A636-FDEF6336A3D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e673c46113c34df28c45b33fd71d8fc4ed40162","datavalue":{"value":{"time":"+2025-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361208$07AADD86-B66D-4E87-9F20-99A85AF98F7C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d81add06657fcf6069b2e6561bed5bf6e6014432","datavalue":{"value":"Alexander Haberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361208$D8C1DAEC-3ACB-4649-87D2-7F8BC7ADF2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361208$F84297E4-720B-4442-B320-FFEC2E55D6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361208$78AF267A-5193-475E-A8D6-CF4F16D3A72E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42e011d636c32ed43febf37fcf9dd80d6d9d0af5","datavalue":{"value":{"text":"Greibach Normal Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361208$04299A7A-FD91-4FA7-B55E-E4CF78C5050C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1303aebf88099731d373481a369d4b35329ad365","datavalue":{"value":"This theory formalizes Hopcroft and Ullman\u2019s algorithm to transform a set of productions into Greibach Normal Form (GNF). We concentrate on the essential property of the GNF: every production starts with a terminal; the tail of a rhs may contain further terminals. The complexity of the algorithm can be exponential.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361208$F3CE5EEB-967A-439D-A042-B17959C19BC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9adad326bfe7ad309684c5bce5d0a1a99f264b","datavalue":{"value":{"entity-type":"item","numeric-id":1854266,"id":"Q1854266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361208$601EE03C-3BB4-489C-9787-716F3E51B074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361208$285055FE-E0A9-4826-B9F1-8DCC9204297A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361208$13F3B175-F11C-48F4-8FFB-8DDC86B0E694","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":"Q7361208$8823887A-B029-4017-9ED4-BB6FF0DA85BD","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"ceffd3d57cea2a1ab975648b77a2e7bb64023a47","datavalue":{"value":{"entity-type":"item","numeric-id":7361147,"id":"Q7361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361208$91724F3C-0972-4595-B836-2A1AEA6E1A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c7a8f6bee75646b3f0253f9b38a1467a1e90950c","datavalue":{"value":{"entity-type":"item","numeric-id":7361712,"id":"Q7361712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361208$EBB2F60B-08B5-4FEE-9D91-4B8E3CA7540E","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361208$BC739936-2EA3-49FE-B0C0-40C0E426031C","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":"Q7361208$197F4DE9-D2E3-4285-9471-B94D27CF3675","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Greibach Normal Form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Greibach_Normal_Form"}}}}}