{"entities":{"Q2735907":{"pageid":2746646,"ns":120,"title":"Item:Q2735907","lastrevid":82958465,"modified":"2026-05-06T22:32:49Z","type":"item","id":"Q2735907","labels":{"en":{"language":"en","value":"Automata recognition in effectively defined classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1641409"}},"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":"Q2735907$3F39D762-9038-40B5-9599-1162B487F9F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"868478e3f7f8ff8d24d600348a944fe0e497933f","datavalue":{"value":"0970.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735907$D35AEF50-9C9A-4A6E-A6F2-C7B37F098274","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e3cc405eccb8ff189c6cb84d44f58a8cf1c1bd","datavalue":{"value":{"entity-type":"item","numeric-id":1570267,"id":"Q1570267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735907$95EE2E4F-D3D2-4907-8AA9-3D2502230095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbe75a70230035dd524404f684e8680186c503aa","datavalue":{"value":{"time":"+2001-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2735907$AC851E12-EBEB-46DC-BF94-3B34FE17F7A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735907$97B1950F-8361-45A0-852F-9F864CA3384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735907$98428058-0079-44F9-B115-9DFDD2B4F88E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c034c73909ec1d33633d39e2927e40d645ac30e","datavalue":{"value":"1641409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735907$2B7514FE-74DE-404E-9A1A-65EEEFCF587E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735907$69237FFC-B7B0-4F26-9D8C-2AB9294C527C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da73046a486d15d36468a3e54545e956bb90cf28","datavalue":{"value":"identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735907$E52035B5-BFFE-4823-8472-145FEF4C7008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a64b7052e3c376a9eccd3f6072ef8144dc990835","datavalue":{"value":"infinite classes of FSMs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735907$775A75F3-160A-4F8F-B414-FA162F906522","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":"Q2735907$608F2360-35C6-4D7F-A7BF-6FA003208C7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac8000bb2ab2cb9b959bea54d380304b6f31096","datavalue":{"value":{"text":"Automata recognition in effectively defined classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735907$84EA130E-268B-46F2-8889-32D95564B8A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7f4cc04fcaa20fb1b72f843077f0fff94947d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6768708,"id":"Q6768708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735907$5A09834C-A9DC-4049-84D9-93594BBF495F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b394ed360c78049d50a23c096c8e2f6e2f5e79b","datavalue":{"value":"The paper deals with recognizing or identifying experiments on infinite classes of Mealy Finite State Machines (FSM). The class for which the experiments exist is called recognizable. The author shows that any recursively enumerable class \\(B\\) with Bair metric has a sequence of recursively enumerable recognizable subclasses \\(B_1,\\dots, B_n,\\dots\\) and \\(B_{n-1}= \\lim B_n\\). The central point of the paper is investigation of the FSM's class defined by an nondeterministic FSM, and called finitely definable. It is shown that for any such class \\(B\\) the subclass \\(\\lim B\\) is finitely definable too and opening subclass \\(]\\lim B[\\) is recognizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735907$09107DC9-614F-4414-9106-E1C790CA3443","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d20ed94b56f3ad787b298349be5c72783add32af","datavalue":{"value":{"entity-type":"item","numeric-id":1962004,"id":"Q1962004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735907$D9AA07C4-94C2-48C2-B3F7-FCC17797593D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ceec7750ad86c320535552e94f4ad0184f9b33","datavalue":{"value":{"entity-type":"item","numeric-id":4518689,"id":"Q4518689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd5ae29baeb3d716363dda3cc01c08dfb67098a","datavalue":{"value":{"amount":"+0.7970249056816101","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":"Q2735907$7202C8E9-CDC1-44C1-A660-52E56BE6B479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a10f8ad472a7547cd615904c7f2ef3e29b7e720","datavalue":{"value":{"entity-type":"item","numeric-id":1570268,"id":"Q1570268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546e7a2242557556d7012ffe3a7b81b3a2ffe608","datavalue":{"value":{"amount":"+0.7759981751441956","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":"Q2735907$CD994466-84E1-4D20-BCF3-75CC2E6B4480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aad08ae5ba88e5e8873d4d698a2ac6ff6e48a11","datavalue":{"value":{"entity-type":"item","numeric-id":3623564,"id":"Q3623564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd06de2712b73d0eb28c8a0a138995ccfcc6f5e","datavalue":{"value":{"amount":"+0.7528329491615295","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":"Q2735907$66548843-29C8-42DE-B227-565E7624455A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0599cf99bc247c7552638273d3509f91440234bd","datavalue":{"value":{"entity-type":"item","numeric-id":4396285,"id":"Q4396285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be554011a7d3765aba609b9a31c47f61160aabc1","datavalue":{"value":{"amount":"+0.7517868280410767","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":"Q2735907$D5876826-E8B2-41EC-8B87-2533852BAE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685775e9c8ea96af56a4f93534638461cb326b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3172836,"id":"Q3172836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fcd52a1fc29204ffc15abaf4074712464c52c6","datavalue":{"value":{"amount":"+0.7429274916648865","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":"Q2735907$DA6DFA05-3B01-46DB-924F-6AD45E4417F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata recognition in effectively defined classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_recognition_in_effectively_defined_classes"}}}}}