{"entities":{"Q1082085":{"pageid":1092837,"ns":120,"title":"Item:Q1082085","lastrevid":70576434,"modified":"2026-04-13T15:33:30Z","type":"item","id":"Q1082085","labels":{"en":{"language":"en","value":"Applications of scheduling theory to formal language theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972209"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$3E9C5F68-F39D-4F7E-862D-640DFE358E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccbe463bd6637370338325c4a3996ed65d7d1dee","datavalue":{"value":{"text":"Applications of scheduling theory to formal language theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082085$E7327371-DB13-4D16-9A9D-83C78E93697B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7edfc52d39292facf18d8f5c373fd34522ad9c17","datavalue":{"value":"0602.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082085$A48037D2-5782-47C0-B456-C2F6E37E4780","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9556dc7987173927618dc0967ed2d87551338f2e","datavalue":{"value":"10.1016/0304-3975(85)90092-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082085$52AF66EF-AE37-474B-9D89-109DEF6E7D0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeefc99ea362fbcd367cbcbefd2dfc35f3b90ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1058304,"id":"Q1058304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$D876F670-6406-4082-A09B-45FF9DF7DA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d42337cf24b90f5ac095f15e64afb2b57c10dc7","datavalue":{"value":{"entity-type":"item","numeric-id":391735,"id":"Q391735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$94ECDA4C-D10C-49C5-8E45-1F4024D060C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$3040C2E7-714E-4305-BDF1-A2C86B7B4D4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1082085$29D88D93-F265-4492-B9AE-2503B726C0AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"58d277c3d0e19bc47b8d291f39bf92975cb8148f","datavalue":{"value":"Context-free grammars are extended to the case where it is required that at each derivation step, a fixed number k of nonterminals must be rewritten in parallel. This way of rewriting constitutes a ''missing link'' between context-free rewriting, where only one nonterminal is rewritten in each step \\((k=1)\\), and E0L rewriting, where always all nonterminals are rewritten. We approach the study of these families by investigating their computational complexity. In both the E0L and CF case, as well as for the case \\(k=2\\), simple dynamic programming membership algorithms exist. We solve the general problem using results from scheduling theory.    Rewriting k symbols at each derivation step corresponds to scheduling the corresponding derivation forest on k processors. Using scheduling theory techniques, we present dynamic programming membership algorithms that run in polynomial time, for constant k. On the other hand, it is shown that membership is NP-hard if k is a variable of the problem, even when the grammar is fixed. An analogous NP-hardness result is shown for the case where the k symbols to be rewritten are required to be adjacent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082085$3E010232-7BCE-415F-BE58-8EFA95C819E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082085$28ED86D0-9493-464E-BE05-A4827D96114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082085$B8B7984B-69F3-4932-967A-87AF3846447F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082085$6F5377D0-ECD5-457E-BC45-9BBDB6998479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de5560a89919a322f157c9405519a7662716faad","datavalue":{"value":"3972209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082085$E367719B-B632-414A-9F41-024A26035D14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15910e98d46f2a54e55896c2717ff437b0f209d5","datavalue":{"value":"Context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082085$E8067E09-B094-46F6-A566-EF68C6A6D6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"464e6cd4e37e68a7be48bf09d4112088119d8d7a","datavalue":{"value":"context-free rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082085$D20F1091-C35B-43E0-ACD8-939C48397A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f487cf8de516955a772ab4a480d2efc8711a0496","datavalue":{"value":"E0L rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082085$3BB832B0-A693-469A-B627-FADE6BE67958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082085$7C5728E2-7D0F-4693-99C9-26C2DF3450CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd1af0ee1ec5ea771bcd315de0bdd68479a8ba66","datavalue":{"value":"dynamic programming membership algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082085$45B5DEA2-DABD-4842-9051-F00E212912E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aecb4baa5821ea76a005bdb100ff5bae0cdee090","datavalue":{"value":"NP- hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082085$7414FB61-8064-4559-995D-803D9E28FBAF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$AEE04B09-8964-47A1-8D2D-3C227093B6F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f76db9a74af7ff0b343950d4e7a2a325f16bda1c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90092-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1082085$55CADB9D-9116-4516-8F10-91B5F16B8ED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f11a4764659b4b322872feeff0c39312f7993d10","datavalue":{"value":"W2012508246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082085$3B297758-E786-41BA-8CEA-3AC6EE3756BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e598414b94b3fc690696fa77debeb55a7fbb6518","datavalue":{"value":{"entity-type":"item","numeric-id":3949970,"id":"Q3949970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$2EEEFEC3-176F-4B52-9DE4-B0E06C2B77C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcb2d1eb921feb736e8fb1b5bea4bdf97929a8d","datavalue":{"value":{"entity-type":"item","numeric-id":4047117,"id":"Q4047117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$ADB30E19-D2F1-4AED-853A-EFCB4668CDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d199017df4d3146f497fbc8db45c8d467a421d","datavalue":{"value":{"entity-type":"item","numeric-id":2556224,"id":"Q2556224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$FF938CD7-B996-4CE2-AD44-135A9E28FBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac48f827256afe35bb09270cbf2f1c5aed4f262","datavalue":{"value":{"entity-type":"item","numeric-id":1085985,"id":"Q1085985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$BF9CBC6A-7163-4AF0-BF31-DD8EE2ED6CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9295f28141a4d52907ae4aa6e829e866e4b6fffa","datavalue":{"value":{"entity-type":"item","numeric-id":3698629,"id":"Q3698629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$94B7E477-6CD3-4325-BC4F-C6F084CBEF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d00b49a8972daa6b7ef79176edcbfadcbbc94e","datavalue":{"value":{"entity-type":"item","numeric-id":3339283,"id":"Q3339283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$72A019C6-73E5-48A2-825F-61AD49A04102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78adcee74e0f5ade00e0948eea875c91d9521e5","datavalue":{"value":{"entity-type":"item","numeric-id":5578055,"id":"Q5578055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$6FF7A4A5-CF26-4F5B-94AA-C9BD55110B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738ca61003143b9239cfc07558e6006dc6a5e6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5627927,"id":"Q5627927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$37FBD081-099C-4E33-B784-734F9DCE880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d6755d506c6ab886e46304ba47fdcd2c104ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3945581,"id":"Q3945581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$0E46DBE1-C86E-4524-BBC1-820B3DEFBE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353da96ae671967cc7028349b7a692d63378da35","datavalue":{"value":{"entity-type":"item","numeric-id":4745255,"id":"Q4745255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$BDB592A5-7B38-455E-A249-1F818522E78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdeca5dafd1429b6543e0edea3652acb9b31971","datavalue":{"value":{"entity-type":"item","numeric-id":1081314,"id":"Q1081314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$5B0C989C-229F-46EC-95C4-2BE67ECEA50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a065f9b3036080619d00e2559f06d0382bfdcc","datavalue":{"value":{"entity-type":"item","numeric-id":1820586,"id":"Q1820586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$5A133026-B54B-485B-961D-8971C656CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$9FD792E1-F900-4484-B2D9-5F7913C90AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$68797E26-9FBB-450F-BFF9-452ABB1DA058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148a9022312d602cb26bddff8f78f9db0c88860f","datavalue":{"value":{"entity-type":"item","numeric-id":1157178,"id":"Q1157178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$236C9C25-2393-4C0D-BBFD-367F70E2E733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd11734c58d472007c5d2d38ed88aaf93cfb80c","datavalue":{"value":{"entity-type":"item","numeric-id":794441,"id":"Q794441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$51DFA326-AA47-459A-900B-BB7B5E15A6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab28dee024bf7d24f20a12a054e9f818b17b7b5","datavalue":{"value":{"entity-type":"item","numeric-id":4147824,"id":"Q4147824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$0A45023D-3A1A-4665-92AC-47B127F79834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c63844c2e38245fdc6612bce29c35b91b812a27","datavalue":{"value":{"entity-type":"item","numeric-id":3854618,"id":"Q3854618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$BB113091-7F9A-437E-AA7A-43753A3602D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$4DA626DB-21ED-4E3D-99E2-546090B33197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$C8C4EDB3-BD00-4144-ADF0-94A3FB2A590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a089d2d23a33fbf3167ad429a459b6de513dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1220386,"id":"Q1220386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$3E17E831-A65C-4CC2-8948-802BF3FA47C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a6517a31dc4a8f53acbe759eb12e325af7c6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1219165,"id":"Q1219165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$C9BFF744-F7E3-4994-B8D1-F2AC1A451CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e03cd8581db3f1a993a90df4b9b3924df0ec8d","datavalue":{"value":{"entity-type":"item","numeric-id":5528645,"id":"Q5528645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082085$0DB1EA88-19C8-4B97-8E76-8C7736148A5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2c6fb166df4448eca9cd626a3e2f62cb94b812","datavalue":{"value":{"entity-type":"item","numeric-id":1820586,"id":"Q1820586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac15926ac76a8aa5219eebcd2ea2b664817a6d67","datavalue":{"value":{"amount":"+0.8858113288879395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082085$0BEEF5F9-0657-4AB9-8402-695DE384D887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb54d30b3c3ff3f1ead84fb58bb8c2d9f45f4912","datavalue":{"value":{"entity-type":"item","numeric-id":3826119,"id":"Q3826119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b000fc13e4f17f187ccd224bac3e5d2f3f1063d","datavalue":{"value":{"amount":"+0.7862806916236877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082085$31A84C0C-CB6D-4BBA-878E-01C5E1CDF309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b53b3dbab96bc583ea9cbc12f0dde8340af33","datavalue":{"value":{"entity-type":"item","numeric-id":4734779,"id":"Q4734779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dffabbb9c69d6a0de6d24225ddb7476364307a0","datavalue":{"value":{"amount":"+0.7823500037193298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082085$3260F8F7-1DD7-4423-AD1D-FAB63B0B6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e5100848948d9fbbcc3950eb86481194ee638f","datavalue":{"value":{"entity-type":"item","numeric-id":1114418,"id":"Q1114418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249e50f7d222a2e2dfe3cad108ab7677fb413316","datavalue":{"value":{"amount":"+0.7680919170379639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082085$B1C32A70-5976-45A5-99FF-90ADBB4D71C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb6619a2ce6eb4bdfed7f6b172f40863d2aaab5","datavalue":{"value":{"entity-type":"item","numeric-id":4227120,"id":"Q4227120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3790d014b48452019abb4a4d23e13b729360052f","datavalue":{"value":{"amount":"+0.7561873197555542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1082085$828F2ED9-3268-4F5C-A3B8-7B160E0A585D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of scheduling theory to formal language theory","badges":[]}}}}}