{"entities":{"Q1060562":{"pageid":1071314,"ns":120,"title":"Item:Q1060562","lastrevid":69537075,"modified":"2026-04-13T07:40:36Z","type":"item","id":"Q1060562","labels":{"en":{"language":"en","value":"Equivalence of infinite behavior of finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3907773"}},"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":"Q1060562$92C03AD3-468C-4689-996A-250C4821ADAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"483870dacfdeb45a320d9cb8910a3b9276f00ea3","datavalue":{"value":{"text":"Equivalence of infinite behavior of finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060562$9AF3DD44-6D2E-44CC-9DF6-9E8EAC524235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23204c85de79d6df7ce5a4dbf23698015536f059","datavalue":{"value":"0568.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060562$6D431B79-109E-4642-A647-70D3AF6F5AB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d95ca776fa9cc769c69b38f9458a5006987ee0d","datavalue":{"value":"10.1016/0304-3975(84)90037-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060562$C29CA870-B8BE-486B-94C4-138951E7AC78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57e408aedf01d066354deee6e250036c1f67472a","datavalue":{"value":{"entity-type":"item","numeric-id":1060561,"id":"Q1060561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060562$B21ECB5F-D7D2-4001-B4AB-6C15E84CE9AA","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":"Q1060562$ADE0B67C-353A-4848-8F71-A027E570E64B","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":"Q1060562$4DF7EFE6-F89E-4827-9EF2-3C9D2876D0E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b7a702b457c0d56a46531a94926d81a756510e6","datavalue":{"value":"Working on an infinite word, a deterministic finite automaton generates a sequence of passed states. We say that a given word is accepted by a given automaton iff the above sequence has infinitely many occurrences of some terminal state. That definition can be easily transferred to non- deterministic automata by adding ''there exists such a sequence of passed states that has...''. Two automata are said to be equivalent iff their sets of accepted words are equal.    The well-known B\u00fcchi's algorithm for deciding, given two finite automata, upon their equivalence, requires a computational time proportional to \\((n^ 2)^{n^ 2}\\) where n is the maximal number of states of two given automata. Here a new algorithm is proposed which requires only \\(n^ 32^{3n(n+1)}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060562$86337891-7C48-45F8-ABF7-6C09A10C010B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060562$0E2B62B8-0751-4B68-AA2D-868E6888F6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060562$3D2A8590-DCC4-4871-B5B9-79F4F599C9F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8c2da5161709560730a2563448c606fc1560a0","datavalue":{"value":"3907773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060562$95E5B1D1-6C06-4450-80EE-F4D5A10B161D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060562$67D7BA03-33F4-47A0-9103-F74FF3C015D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb21d42efe844c782bb05acbf3aa93a0a72d5ffa","datavalue":{"value":"algorithm for deciding equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060562$8ECCCEFD-0AEC-4433-80DB-67FFF520D530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060562$5CFAAAF1-D1AD-4A3C-ABE6-3A3315A97666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6773be3008853e0699a838006506cdd12d7b438b","datavalue":{"value":"non-deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060562$284A818B-16D7-40D7-AD80-938CD92FE098","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":"Q1060562$C615D3C0-7421-4FAF-8B77-2D370D5746F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"625979455d419e07e92c03fef7c311bf0e01a516","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90037-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1060562$8EBD7D92-E6DD-453D-8ECD-D4A05342707F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"869a00252ee5425bf81a754851dcf44ed2a9f5b0","datavalue":{"value":"W1966870296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060562$A6F7A47C-CB09-4EBD-8A0B-4FD7097E33FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060562$8BA3C196-6F6B-48EE-9B0D-64E0E7324472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4e6307291c0eaaafa1a707cff68f54ad510aef","datavalue":{"value":{"entity-type":"item","numeric-id":3694724,"id":"Q3694724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060562$EDA578FF-3C9D-48A6-9E11-337B5BAFCC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060562$60B2DA4E-103C-4FD0-B25E-BE0409E656D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060562$E909EBA3-E9BD-4641-B124-744779E99913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060562$1A369393-4786-4AA7-9610-FCF6FE8032EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faf464114e2bd1c3dd4e9a051c770000dbe866b","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd7ff8a3cde50d9217daeab659c9911f9c5243b","datavalue":{"value":{"amount":"+0.8326144218444824","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":"Q1060562$7B8F384A-2316-4FC2-913B-DDFAB8F38B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81de913d167e72c1b860eff8d4288a03aff77e9","datavalue":{"value":{"entity-type":"item","numeric-id":4720788,"id":"Q4720788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d0b6b513c3f84c23b77584c68c037be78262be","datavalue":{"value":{"amount":"+0.8221533298492432","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":"Q1060562$BF155A7D-6AEE-4C79-AEDD-E1BB07FA0A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60d486de2ce06b4cceae7082598aa7ac6175b19","datavalue":{"value":{"entity-type":"item","numeric-id":5060068,"id":"Q5060068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1faa6cc10a945109f0e08a309bc004eb4127cd6","datavalue":{"value":{"amount":"+0.8162581920623779","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":"Q1060562$75BF99C7-8F0F-401D-BA23-AEBB55E8014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf2879e92cd238e3221da156adb13a9e0d0c1f4","datavalue":{"value":{"entity-type":"item","numeric-id":4281562,"id":"Q4281562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01aa39d5b85f27facbf6fb8fc790a059d89d6c2","datavalue":{"value":{"amount":"+0.813386857509613","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":"Q1060562$4E79D6FA-DCE3-409E-A179-DF7AE3AB50BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caf0e5ebc5d3d72bd55beb148c254b4ba13c614b","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58885837f205753a613416ce011058b297fd3653","datavalue":{"value":{"amount":"+0.8054215908050537","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":"Q1060562$D4BFE5C8-AF95-40F8-81DA-55E7832A0771","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalence of infinite behavior of finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalence_of_infinite_behavior_of_finite_automata"}}}}}