{"entities":{"Q1177166":{"pageid":1187915,"ns":120,"title":"Item:Q1177166","lastrevid":46246429,"modified":"2025-12-24T09:42:02Z","type":"item","id":"Q1177166","labels":{"en":{"language":"en","value":"Equivalence, reduction and minimization of finite automata over semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20019"}},"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":"Q1177166$6CB68BA1-7098-431B-8DD1-619FDDC473BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bc0d00851cd2ded147f7fd1bb082764374d0a1b","datavalue":{"value":{"text":"Equivalence, reduction and minimization of finite automata over semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177166$F21CBE6A-C6E8-4A7F-AAC7-CF2DD3A02DAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77b72accfb24a5781230c3f0e84c564c5164aaf0","datavalue":{"value":"0737.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177166$29B7B402-0A20-4B59-A61D-D9EF594283DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9db7bc7e14fc5ec9b3e26e35fbbc46e72130f6ce","datavalue":{"value":"10.1016/0304-3975(91)90377-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177166$7C0EF980-AAEC-4A69-BEAA-D6B93CBCE8E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"634c564045275e65a2755830a5afb5dcb95f3f74","datavalue":{"value":{"entity-type":"item","numeric-id":1177165,"id":"Q1177165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$F6C8B8FC-BC10-41D1-BB25-EF9F8868FD12","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":"Q1177166$B545616B-715B-440E-A495-1A5F753A9F5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177166$DAAB9BD4-BC49-4750-9DA9-2199D1BD0067","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a329052f27fb9bf4f59dd2d1505c6a942f8ff29","datavalue":{"value":"A new theory of finite automata over semi-rings is proposed. A unified approach to equivalence, reduction and minimization is sketched. Criteria are obtained for computability of the behaviour matrix, equivalence of states, equivalence of automata, reduction of states, finding reduced and minimal form. The relationship with Noetherian property in the category of semi-modules clarified the expos\u00e9. Deterministic, nondeterministic, stochastic and fuzzy automata are included in this unified scheme.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177166$5359FC9A-0824-4C7A-90A2-196E4A228BC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177166$EBE250C3-4B82-4F65-8DD8-09DCC980A718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ca7d443af110330636d8554c7da8077b4fe94a2","datavalue":{"value":"20019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177166$3FC1D4B2-D2E2-40E5-AB5B-25B576D1113C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177166$9AA88774-109A-44C1-B424-845BF4EE5372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177166$7EF0DFEE-F80A-4476-BC6A-4FFA7B862C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177166$B906B575-8C78-4F12-9CF3-A46894A9E972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177166$8F303B39-8611-4FD5-ACFA-61088165299D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1795f17e176530c860dd1c3b2e74fc46bd03cd61","datavalue":{"value":{"entity-type":"item","numeric-id":1241796,"id":"Q1241796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$88045155-0657-448B-A6FC-9DD555982BAD","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":"Q1177166$E31E0F2E-34C5-4BC5-B5A7-76CAD683358D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eddd8b1e53c516767e45c11a2855c6a7668f20b","datavalue":{"value":{"entity-type":"item","numeric-id":4137326,"id":"Q4137326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$1890518C-0FE0-4AB9-B47C-56229BD6C1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e984f98fe907fae97d9c093f81436b8f737e67","datavalue":{"value":{"entity-type":"item","numeric-id":1843416,"id":"Q1843416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$2D2F9103-B157-437C-9452-AD43D8DD528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e91655c6bf6f9d782943532d26e6a7bfea83026","datavalue":{"value":{"entity-type":"item","numeric-id":3954784,"id":"Q3954784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$DB65FAE4-4842-447F-8D06-F76CD15AF87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795f88adae1c6e91cafc3ab3a8d89408f5cca383","datavalue":{"value":{"entity-type":"item","numeric-id":1084101,"id":"Q1084101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$45CFED18-B9D4-4D93-95E5-D1A9F3C6FAE9","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":"Q1177166$B991FEEE-F59B-4F24-BBC7-04A4909875A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$30EEBC9E-A2A5-4851-A590-912F784B4B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$3352FD52-CAD9-459E-8D2D-E028C3A780B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$B1F76EB7-E68D-4559-86D7-F66E41B58071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82a636624b539fceb598818c5ef83e9599ef5dd","datavalue":{"value":{"entity-type":"item","numeric-id":5534234,"id":"Q5534234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$26F55820-9E7E-40B3-901D-3F4F9F37A6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$42281C8A-8473-4C42-B436-F58F17D28816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abddc83af6e59f6e4cb70754977b68c11e5a7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3743435,"id":"Q3743435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$F2D80269-8DD3-4932-B8E2-F397C8045347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f11c1fc6691889a3875f742bf4533504697c49","datavalue":{"value":{"entity-type":"item","numeric-id":3707418,"id":"Q3707418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$0161B665-6754-4FD2-87C0-C1F451C410B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e135f9a12f7085afdcf5ae21ad62da0418cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":1115194,"id":"Q1115194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$1BB6AFB7-3239-40DB-B3A8-8AB61210D865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73417a5ae11c71983842104f78ad996c49db0cef","datavalue":{"value":{"entity-type":"item","numeric-id":2555474,"id":"Q2555474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$F2F23211-D786-482B-B6EA-A9AA71B962F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463d2ed803ea2454401fd9bfb08ac9442c10d434","datavalue":{"value":{"entity-type":"item","numeric-id":5544294,"id":"Q5544294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$B1DD1F52-00BA-49A4-B143-7EC3F5BAC5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1422672d05dbff9dc9c265645789f92f3291e4","datavalue":{"value":{"entity-type":"item","numeric-id":5632473,"id":"Q5632473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$4F5322A2-17C9-4203-A9EA-C09FC91EADE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611e4559432bda122b6c93015f41f63e248898a1","datavalue":{"value":{"entity-type":"item","numeric-id":1160487,"id":"Q1160487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177166$5E59B7E9-FD51-4D21-8D27-BF6C9DADED9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62398a3e56c5cf60714af4a6d761adf1e9462cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3644560,"id":"Q3644560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55caf850f0c064a8bc6b0b1e483b2d4fe97c573","datavalue":{"value":{"amount":"+0.8601471781730652","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":"Q1177166$5C5D1340-5F5C-42ED-A1B5-33E7569E516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36e8f4c9f67dcd4649d4b149eeb800ccfd3746e","datavalue":{"value":{"entity-type":"item","numeric-id":1115194,"id":"Q1115194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbae5165943b7338a211209192fb1c8a897fb580","datavalue":{"value":{"amount":"+0.8125967979431152","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":"Q1177166$E479C92F-DDD3-4CC3-8162-15A75391865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f1c38978959c056c3ee0355d712e4ed9fbd955e","datavalue":{"value":{"entity-type":"item","numeric-id":3769968,"id":"Q3769968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2465b643c2b1a4f64248d9d51ff39ecbd3d3c59","datavalue":{"value":{"amount":"+0.7981261610984802","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":"Q1177166$04F64F5F-C182-491F-A602-0A1FFDB263C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa66f6759a3d4cbd0ad704f8a5562781725325da","datavalue":{"value":{"entity-type":"item","numeric-id":1818961,"id":"Q1818961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed798dfab591d753b28a66417eda985a8a0c6f28","datavalue":{"value":{"amount":"+0.7877949476242065","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":"Q1177166$B40552F6-D385-4FBB-A030-78CE1C64FAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b6a926aad118261736e0f7bfff7cff9af4fcac","datavalue":{"value":{"entity-type":"item","numeric-id":5072545,"id":"Q5072545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa8829c8eb358c381ab40db55d941ebee3f372d","datavalue":{"value":{"amount":"+0.7865272164344788","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":"Q1177166$D57ACC86-298E-4616-BDBA-1534DECB3CA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1177166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1177166"}}}}}