{"entities":{"Q1822985":{"pageid":1833727,"ns":120,"title":"Item:Q1822985","lastrevid":71370204,"modified":"2026-04-13T21:48:29Z","type":"item","id":"Q1822985","labels":{"en":{"language":"en","value":"Minimal automaton for a factorial, transitive, and rational language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114034"}},"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":"Q1822985$3F06125A-13B7-468E-AAAD-50BDFEE01B3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d4f9e00b49b81e1214ed5c365e2ba9866a9f4ad","datavalue":{"value":{"text":"Minimal automaton for a factorial, transitive, and rational language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822985$AF68BA63-8885-483F-B922-AB77E3236302","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"312292ae4be210296164cb5973efef578ccd5311","datavalue":{"value":"0679.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822985$DE544A19-D20D-46C8-A8BA-8BB8AFDD1FC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c00d6000a2954c3d3c5e921a1c97a2f96004df2","datavalue":{"value":"10.1016/0304-3975(89)90022-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822985$3CE09BBF-C9F8-4781-9F15-7ACA8A1DC23A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb8212826bd69dc98444cbd64b58f086206d659","datavalue":{"value":{"entity-type":"item","numeric-id":234698,"id":"Q234698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$BA3B8BBF-4AFE-4F4E-A86D-B56FC318FFD2","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":"Q1822985$E0932E09-EEF0-4252-89CE-368FB3223A91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1822985$8F5AF1CD-6B96-446E-A6A1-E5C07B773E58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54aebc79b7fd4bb191f5522a5164e4da6ca24924","datavalue":{"value":"A language is factorial if it contains all factors (i.e., subwords) of its words, and it is transitive if for any pair u, v of its words there exists a word w such that uwv is also in the language. A factorial, transitive, rational language is called an FTR-language. These languages can also be characterized as the languages recognizable by certain special finite automata for which the abbreviation ida is used. The author shows that every FTR-language has a minimal ida. Moreover, three ways of obtaining this minimal ida are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822985$C5DC0CD7-873A-45C9-87EF-7E99B9C326DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822985$74FD47F6-4BAF-40B3-AA26-CD2938EE333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822985$BBA5C768-E30E-4BAD-B582-FC99A5E2E4B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68e004004ae0fcc23c4c598b5074281b0ccc487a","datavalue":{"value":"4114034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822985$63A9B55F-0A0B-43BA-B673-BB13E9880EB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ecbdea37adde42ef7f942b3d6ef7b75841234f8","datavalue":{"value":"syntactic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822985$F9F16859-0B61-4504-9D60-80D768B01EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822985$ADA80212-F625-471E-9D8F-8B350A7BCCAB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e07306c48ccd2e9c29ec0a26f6f3afb07223426","datavalue":{"value":{"entity-type":"item","numeric-id":591314,"id":"Q591314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$A9A542A9-E862-4116-9145-790DD7E8EF59","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":"Q1822985$100A2472-315C-4815-95DD-6B9DED3AE9D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b5aefa711e9ba4a7eb3a4479e3253f30469e37c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90022-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822985$E7DB968C-2D8B-49C7-8ACA-C56236AE6385","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6c8021575541b4e230c9935747b2970e5bf157a","datavalue":{"value":"W1972816315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822985$1318A63D-DDE3-4A16-82A7-1535E1ED8E72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7117350587d4217761b18460586aa1ca533671","datavalue":{"value":{"entity-type":"item","numeric-id":3774986,"id":"Q3774986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$A3C6D31D-1F80-44F5-AE2B-F8C96B0DF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6156e5a7a3cea348311f1084933a62cee82a1ad","datavalue":{"value":{"entity-type":"item","numeric-id":3687742,"id":"Q3687742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$0D06F7B4-A6CD-474C-9B66-10A1DDA6172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aa6c4917df290945a3db196b6dfab01159a410","datavalue":{"value":{"entity-type":"item","numeric-id":3687740,"id":"Q3687740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$84B290E5-383E-4DA4-83D2-62B8D3B62C56","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":"Q1822985$D15EB312-6056-44CF-BEBF-254DC6AB5FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75ce1721dede21d7e0692e867fb208337c0419c","datavalue":{"value":{"entity-type":"item","numeric-id":1220734,"id":"Q1220734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$C82D6480-CB50-4AE5-95E3-A9ED6DDC13BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$7BFFBD81-3282-46A3-AC03-FE50EC5997DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822985$9999ADCD-03C2-4FC5-9B3A-E8DB973D4D63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92ad4ada91eef0cc481d51ad353a18f927f8510","datavalue":{"value":{"entity-type":"item","numeric-id":4858461,"id":"Q4858461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc467af6ab491d1d6121cc168a8e5ef725e1eb8","datavalue":{"value":{"amount":"+0.7352202534675598","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":"Q1822985$50CE9001-E7B6-4414-A359-E3A1EE19A1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f4e088859037691ece2af894c49e2d1d029096","datavalue":{"value":{"entity-type":"item","numeric-id":4218144,"id":"Q4218144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82459cb43a8ea0a6e6ae9c6b285fb608579010b7","datavalue":{"value":{"amount":"+0.7339330911636353","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":"Q1822985$19F5FCDC-15EB-4D10-AAB2-641C7A44B312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751e7b856ec80afcecb759c8ce28585d9ae2edea","datavalue":{"value":{"entity-type":"item","numeric-id":3774986,"id":"Q3774986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f591001a939bc88397b4e6c7269875fb275f473a","datavalue":{"value":{"amount":"+0.7234517931938171","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":"Q1822985$BF0F0D99-783A-4997-90C2-6CB408311B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e45cc6aeeb1f4adf80b270fc9fa34472959ea65","datavalue":{"value":{"entity-type":"item","numeric-id":1115203,"id":"Q1115203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0e1f6ea666241f15d6de5b05d8d71692b7c5e8","datavalue":{"value":{"amount":"+0.7156726717948914","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":"Q1822985$796B5381-3334-408D-8378-B9F961265706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38fee2c6e07ea32fe77e6e370078079e067d504","datavalue":{"value":{"entity-type":"item","numeric-id":4910442,"id":"Q4910442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23aa54a7aa76bd8739581851c713a9af34d387e8","datavalue":{"value":{"amount":"+0.7156106233596802","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":"Q1822985$20866709-6941-419B-A3CE-0CBDFBCDA1B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal automaton for a factorial, transitive, and rational language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_automaton_for_a_factorial,_transitive,_and_rational_language"}}}}}