{"entities":{"Q1102747":{"pageid":1113499,"ns":120,"title":"Item:Q1102747","lastrevid":69645984,"modified":"2026-04-13T08:26:07Z","type":"item","id":"Q1102747","labels":{"en":{"language":"en","value":"On rational solution of the state equation of a finite automaton"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051008"}},"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":"Q1102747$680AF7A1-DC08-487E-988D-05D9E5764FDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f82cfada4c93cc02b10aa6dfc5e87dc9ca3266ed","datavalue":{"value":{"text":"On rational solution of the state equation of a finite automaton","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102747$43D08C91-E66C-45BE-AEA7-7EE46F94DD18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12ca5f663bdc2aeb60cd6865d8e38df316ee4846","datavalue":{"value":"0644.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102747$BA7ECB0B-812B-40EF-ADED-5D96A394920A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ed88c7d3bd27e4e54595ff32e1f5f7832409966","datavalue":{"value":"10.1155/S0161171288000420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102747$AA5AD772-08C7-470E-9156-44208598622B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102747$19AD3C57-5EEE-4BA6-A36C-B598A9623E2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102747$D5BED7A3-8D15-4E70-B51B-F90BEC1001BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1102747$BC94BE75-DD6B-4256-9FE0-066365E21C2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c97875b709a4907b619ae5ba50974db288e2513","datavalue":{"value":"https://eudml.org/doc/46276","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102747$177FB67E-7FA8-45BB-A7A4-38089FD83E5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba21e80d50a44d485a2c393c79e24fa7a4fb486d","datavalue":{"value":"We prove that the necessary and sufficient condition for the state equation of a finite automaton M to have a rational solution is that the lexicographical G\u00f6del numbers of the strings belonging to each of the end-sets of M form an ultimately periodic set. A method of determining the existence of a rational solution of the state equation is also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102747$FFAE1111-D70A-46E1-848C-FB01E5E68572","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102747$917D04C7-5EAA-4FFE-A8F8-6E9448D30F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102747$E3E4A34D-5A0E-4060-9B41-70916A286E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102747$AC214DB1-46B9-4841-9E84-8757B716BA10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3184f500c0db85dd25876711da48c27ada074429","datavalue":{"value":"4051008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102747$85A4C1DE-062E-4596-B30F-E7D59B2FD5B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d2cfbb0a767e0dd487003410b5211c16b6cce6","datavalue":{"value":"GF(2)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102747$713A417A-F23D-45DC-8FD0-1740BCA5E8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102747$65A9A30E-5BFE-45CE-9EEE-BA23B1EAFC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e646f2aeb9ab198ad375fa2d62dc573de3a4512e","datavalue":{"value":"rational solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102747$3778937F-954E-48B8-91E3-C54FC7638B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"883b77c9b408d44bb6d616a419057b46bfdee6c1","datavalue":{"value":"lexicographical G\u00f6del numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102747$28C354D7-271D-4C63-A992-3F93FA05C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece6c3e0825e2bc33a90d19786b99ecb4adbafb3","datavalue":{"value":"ultimately periodic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102747$8D421BF8-EF71-4CF9-9803-BC3291DBA0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"046bf6e4895ae5161987cf13aa1349c5e0d63ce3","datavalue":{"value":"state equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102747$C28FF594-C8F8-49B4-96AD-18366974FDC4","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":"Q1102747$2429AB10-9A18-4E79-9076-17AE4E567075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1eda09af43540e7088ffa54627effc1f8e000fd","datavalue":{"value":"W1974481916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102747$34B2204C-2369-4DA4-8371-FECAE077AFFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5c9e8dea2e3d8e4dd4073369f4414cad87e516","datavalue":{"value":{"entity-type":"item","numeric-id":4825181,"id":"Q4825181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3d0ee6a5e88b497b0f699d6d5b4d6a3fbc0ad78","datavalue":{"value":{"amount":"+0.78876793384552","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":"Q1102747$860C3A6C-A5CC-4EB4-BC1E-C567FFEEB52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb678a1d56228599de00bfbac3eb85bb4ecc26a","datavalue":{"value":{"entity-type":"item","numeric-id":3691065,"id":"Q3691065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a25308301f656ce1055a1395bf512d76f518c29","datavalue":{"value":{"amount":"+0.7775449156761169","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":"Q1102747$B39F220E-316C-46B8-AD54-8E0B1329240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9224027a949e3ac04c3d5a7581142368f486412","datavalue":{"value":{"entity-type":"item","numeric-id":3358248,"id":"Q3358248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e297429f4bf9fac5222b1c4763e7f9b94c09b31","datavalue":{"value":{"amount":"+0.7674497961997986","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":"Q1102747$A91F3F4B-F3AA-490F-B702-D9DFF0705CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24cfadaa4dce2c6d729abecf9ea7fc182e55bab","datavalue":{"value":{"entity-type":"item","numeric-id":3217608,"id":"Q3217608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdf7d80a83ddf5735b02b4f70e968f36eaabdd1","datavalue":{"value":{"amount":"+0.7671905755996704","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":"Q1102747$246F6CED-8483-4CD1-95F4-59AEB89A1DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716729c8dd8ce8eb7b76202b1f3d2ea9af96f020","datavalue":{"value":{"entity-type":"item","numeric-id":4817724,"id":"Q4817724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758c29e9d7c1207b9774dd7991a735eba17a8011","datavalue":{"value":{"amount":"+0.7632879614830017","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":"Q1102747$0E11C299-ACA3-4C21-8403-FA0475B4F20F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On rational solution of the state equation of a finite automaton","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_rational_solution_of_the_state_equation_of_a_finite_automaton"}}}}}