{"entities":{"Q794442":{"pageid":796290,"ns":120,"title":"Item:Q794442","lastrevid":64387833,"modified":"2026-04-11T19:31:17Z","type":"item","id":"Q794442","labels":{"en":{"language":"en","value":"Inference of deterministic one-counter languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860418"}},"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":"Q794442$E3A4408F-216E-421E-9E21-3C954FD60C75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fafeb5dcd190b31951b9c61bb6ac3be67cd4ea8","datavalue":{"value":{"text":"Inference of deterministic one-counter languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794442$ECF5D24C-3EDA-4949-9512-5D6FA262C5DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"422990947ab9b6e68012aa14378c0dc59391ae1c","datavalue":{"value":"0541.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794442$226032DE-C312-456F-8447-213ED80D9FD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baab5146063689a13a241adf303e046acfa47a97","datavalue":{"value":"10.1016/0020-0255(84)90048-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794442$42B02DF2-452C-420A-BCDE-AFE8D9D0A20C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$C106A0F0-AA59-4012-9EAA-65C28D62484C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$674A8038-AEB4-4E91-A477-BCE719F5360F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q794442$CB2513CF-9C25-4C65-8B33-B7122D6ABA59","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"643c8d068a235701b8f599023286d23ae65f56de","datavalue":{"value":"This paper presents inference algorithms, for the class of deterministic one-counter languages, that are based on enumeration methods. This method is known as ''identification in the limit''. Such algorithms must generate at least one automaton for each language of the class which recognizes this language. To generate not too many equivalent automata for each language, a method is described that enumerates DOCAs (deterministic one- counter automata) or a certain normal form in such a way that no two isomorphic DOCAs are generated. This is done by the generation of certain partitions on sets of so-called computation traces. This is a generalization of inference methods for finite-state machines. The whole inference method is organized in such a way that all automata are enumerated without final states. The determination of final states is not made till the consistency check with the sample. In the last part of the paper a modification of the above inference is described. This modification results from additional information on computation traces, that is included in the sample.","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$B315F43F-12D3-49F5-8A17-AECAD3BF40C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794442$A1A616B8-5768-43FF-A46E-7774E078FCF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b4e7d465138098b7d0b7c7eb7fdfbf058c3dc8","datavalue":{"value":"3860418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794442$EDF160C6-D025-437C-B142-6D19C4C3833C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c12a0f2d254363e548ae821c44b3d78510f4c0","datavalue":{"value":"grammatical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$92A03CAC-0E97-45A9-86BF-0001BF6DAFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5fa9301ffbdd72e7e8698b5d894d4eb561b03e","datavalue":{"value":"inference algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$1177EEC2-A57C-4666-A92B-4359B02B2036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36050658f691f24fce651bf754879f2ecafd85d","datavalue":{"value":"deterministic one-counter languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$6CB5F941-7900-4F20-A86B-C5F13F93BA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$D93C2491-C33E-4C5D-9127-9392CD04C787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1d62c198a8d99438b7d6418b5be32f7efa58a9","datavalue":{"value":"identification in the limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$AF624698-97D0-475B-A9BF-4648F8A9476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03828ed77742880b898e7e3c8db76b549bde9ec0","datavalue":{"value":"deterministic one- counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$2F7933DB-76F6-447E-8134-E1168758E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0785d8ed5af9820a5b6b06febdf5048287900c","datavalue":{"value":"computation traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q794442$21F1E5AB-A7E4-4D33-B344-A740491CA6EE","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":"Q794442$0CABE006-8449-4F5C-AB31-FA908EB1F3FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b24daea58bc4a37bfd68dbc4492a02ff4582f621","datavalue":{"value":"https://doi.org/10.1016/0020-0255(84)90048-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q794442$59B5B33C-2036-461E-B034-827D19F51D28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bebdf92483a50548bdcea4e32664641eeaa218a","datavalue":{"value":"W2079632779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794442$4564865B-5C2D-461A-A32E-EF9BD68184DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1252d1a75df811aa2d125851fb76a199b341c5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3945599,"id":"Q3945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$9E684427-540E-4BDD-BFFA-04F7AC91C349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d436f69c919d73c4e107c9dcafec25236f44fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4086731,"id":"Q4086731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$A0A42C34-F23F-41E1-84EE-D7042EEEF82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$81ECF67E-3FBE-49D4-811B-3D502C4A4885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ab6d0e2fce9b68a6e32d3dc1952703f2a130a9","datavalue":{"value":{"entity-type":"item","numeric-id":2557198,"id":"Q2557198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$0D6D7146-2953-441A-BF03-BD9B1CFE88AE","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":"Q794442$5E24D251-BB16-4A82-ACC6-FF90BEAD4EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f946b19f8efd9ab1687ebc3e1a5cf59e633699","datavalue":{"value":{"entity-type":"item","numeric-id":4139695,"id":"Q4139695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$0E0136E1-B8A1-4E85-A80B-3F44AA8FE024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c70e5c62d09b966885df660a7c42146d2df068","datavalue":{"value":{"entity-type":"item","numeric-id":5672194,"id":"Q5672194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$6919E4F0-9862-451D-8B97-59AACAFD1B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$6478389B-9E55-4D70-A72D-2630ECF382AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ac4816e75fe5a42cf8a9b41b4b2fa7e8996598","datavalue":{"value":{"entity-type":"item","numeric-id":4131700,"id":"Q4131700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794442$F0E3BF61-0481-4E9E-A60F-D9E49E7CC025","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bcd031b16e1fb9e128b66b5c70450e7d13a33b","datavalue":{"value":{"entity-type":"item","numeric-id":3602804,"id":"Q3602804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2149bf30ce6f797769394af3e74437a333a00d8","datavalue":{"value":{"amount":"+0.7653696537017822","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":"Q794442$C060D602-F63D-4822-B222-54A410DB13A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a51ffd44a08fcf4e60a76523b0150dc83d6e3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1467fc0840cfa119222717fdd382e260a7ee6d","datavalue":{"value":{"amount":"+0.76058429479599","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":"Q794442$0233AFA5-4F10-4068-9AEC-E1A8B74D6577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ff5d31e7aae2910e4b179debed77cce519817e","datavalue":{"value":{"entity-type":"item","numeric-id":5757244,"id":"Q5757244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4968925ac6cc3fd75cb112fb3101565e213f55","datavalue":{"value":{"amount":"+0.760135293006897","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":"Q794442$8C74933A-4D4C-4973-AB95-FABC01033F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a556c67e4a95700c963b287f5a734e92ea79df9e","datavalue":{"value":{"entity-type":"item","numeric-id":4013535,"id":"Q4013535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ec5d69e0e074da419ca064bf88da86d83aa781","datavalue":{"value":{"amount":"+0.7582501173019409","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":"Q794442$818BAD24-FE2E-4899-9064-CA348B33D316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5d40aa9a4891bae987aba3313fa6aa757546c3","datavalue":{"value":{"entity-type":"item","numeric-id":3795270,"id":"Q3795270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8353a9545e7a8f69e114ebb6471fbfa0b9fa649e","datavalue":{"value":{"amount":"+0.7578412890434265","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":"Q794442$30B93268-88D4-47AB-B09E-FFCF0913FCBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inference of deterministic one-counter languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inference_of_deterministic_one-counter_languages"}}}}}