{"entities":{"Q801688":{"pageid":803536,"ns":120,"title":"Item:Q801688","lastrevid":64442568,"modified":"2026-04-11T19:53:48Z","type":"item","id":"Q801688","labels":{"en":{"language":"en","value":"Relations rationnelles infinitaires"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880132"}},"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":"Q801688$C4857283-FCC2-4398-8570-AE3649BAF04B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11a0db5443dbc6e870a0761f62832e737ed8dc07","datavalue":{"value":{"text":"Relations rationnelles infinitaires","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801688$385BCCC8-5340-401A-8588-013A565ECEE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0531c0157210024e7cdb0b5579f248ecadf2313e","datavalue":{"value":"0552.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801688$3ADDD593-5DD6-47EA-92B6-344328C1D9D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2230a4ea8d5e21f631b803269850807dd684ffe","datavalue":{"value":"10.1007/BF02575909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801688$5B2E832D-879E-460B-A774-5E074F5E970B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"313c996a496538a10d604b22fef5d4ff7921a065","datavalue":{"value":{"entity-type":"item","numeric-id":801687,"id":"Q801687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801688$B2B3140D-41F9-4D48-9F57-4FD206630FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5392602cebfb387ee7516fe8118e538d44d0b430","datavalue":{"value":{"entity-type":"item","numeric-id":221594,"id":"Q221594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801688$43BCB409-CAD3-4B55-8F12-7998F3D1DE02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa0ba58b3114d8fa3b465e5112e7eee5b47291c2","datavalue":{"value":{"entity-type":"item","numeric-id":260128,"id":"Q260128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801688$7E0E01AC-ABC2-444A-B2ED-3E270640896C","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":"Q801688$BFC84670-82D8-492F-818E-0A09B0B2FDC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ab312d0a1320a84c49d9f1c3c5d0f9b889e6d18","datavalue":{"value":"In this paper, we build a theory of infinitary rational relations, which is an extension of the theory of finitary rational relations, i.e. sets of K-vectors of finite words which are recognized by finite automata with K tapes, and at the same time an extension theory of infinitary rational languages, i.e. sets of finite and infinite words which are recognized by finite automata (the condition of recognizability of an infinite word is that its reading by the automaton must go through a state, which belongs to a designated subset, infinitely many times).    Our main result is a theorem similar to the Kleene theorem about rational languages of finite words: It is proved that the family of relations recognized by finite automata with K tapes is the family of relations obtained from the finite finitary relations with a finite sequence of operations of: union, product, finite star, and infinite star. Then the closure properties of this family of relations are studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801688$00CAE3E3-F4C2-440D-86C4-E5A6352C0F76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801688$CFD1BF27-4E40-4399-B206-1DBF3FCC267D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8929d7609025bc9389088126197b0f0870527343","datavalue":{"value":"3880132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801688$DD8E7C6C-4357-4E60-B968-C9C7EA54B749","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6564d49a722a394780dffb896418fcaffbec2d6","datavalue":{"value":"infinitary rational relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q801688$B303E3CB-92FE-4207-ABC6-FC962E37BAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f460a59fcf008260ea5cc1f37c985aaad0d37224","datavalue":{"value":"finite automata with K tapes","type":"string"},"datatype":"string"},"type":"statement","id":"Q801688$B8FA3607-FE4D-4FBF-BE97-FEE6C7774136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52df7a2ee31190cda0a1a6d342a57673b1e2eb54","datavalue":{"value":"infinitary rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q801688$53171A20-B42D-4CC3-842E-DE01585486DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q801688$22CFBD85-47EC-448C-9277-4708CF585E7D","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":"Q801688$CF0DA5DF-B9CF-449E-9433-8C431D045CF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cac2367f2bc84a0ef4268665ad04f3301a81090","datavalue":{"value":{"entity-type":"item","numeric-id":3325067,"id":"Q3325067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801688$121600E4-7919-458F-9173-99663A9DFC9A","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":"Q801688$B61A31AD-D00B-4850-983C-3D8C753BFBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8323578f1bc3f7c7f8014c6f09aa7ff9af74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5507511,"id":"Q5507511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801688$DFF3DB18-8B87-4EED-890D-DCF89862EC17","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":"Q801688$9F7A650F-5DC5-4A7D-B2E8-6F03AC50A235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbd0c5139cd54c5bc85147a9057c45e6c7edee7","datavalue":{"value":{"entity-type":"item","numeric-id":1220392,"id":"Q1220392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801688$8D0AE5A9-ABF7-49A6-B1E6-BD7B5048D314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bcf40e2c9b320ad2100b973e2eada509a293c04","datavalue":{"value":{"entity-type":"item","numeric-id":3938504,"id":"Q3938504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801688$755797E4-27E1-4F63-8C00-D706E729A953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5947c2a2a1480f79c3bc57927e018ea279849c8c","datavalue":{"value":"https://doi.org/10.1007/bf02575909","type":"string"},"datatype":"url"},"type":"statement","id":"Q801688$9D36EC69-C01D-441F-9C67-3B31EA7FD008","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01e4b6e9e8cd46e8ea672637f1bd72539f1e7294","datavalue":{"value":"W2016115448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801688$3851ED2C-2ED9-4E09-8440-1EA622D6BD63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d010ce53f139b6d3c4e6f4425397571fab5f04","datavalue":{"value":{"entity-type":"item","numeric-id":5551448,"id":"Q5551448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2122ef633c46c18b3eca4921fe0aba21066d874","datavalue":{"value":{"amount":"+0.8753143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$58CA79B7-33BB-4446-97E5-A66E0EC584D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3e063cdee29d52ad833d5d4377d597cd4b8679","datavalue":{"value":{"entity-type":"item","numeric-id":4350944,"id":"Q4350944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a4164d16c4359128f8831043e937d5b390027c","datavalue":{"value":{"amount":"+0.8717384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$BB0456E2-CC2B-4EFF-8490-B59E89245331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984d51572c355004c15b2fa9478719e42aa98686","datavalue":{"value":{"entity-type":"item","numeric-id":4302013,"id":"Q4302013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851fd9a68d20c9b0c9807d5200d861ae72a4fee4","datavalue":{"value":{"amount":"+0.8629296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$4DE6067D-3346-494A-8E90-EBBB5C7487EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef24cd09dd40786a966aff5aedacf2f4ce0bec6e","datavalue":{"value":{"entity-type":"item","numeric-id":4452098,"id":"Q4452098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b90fa52113851f8a2672193389b1186ad4ed94a","datavalue":{"value":{"amount":"+0.8603803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$9E8D23B7-1B88-4998-9686-66E86B9AA968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbec1256bac6a961bc78b8fc018fbe48e09dc6c","datavalue":{"value":{"entity-type":"item","numeric-id":3864610,"id":"Q3864610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefd2367d547b3cb2ff7e354bb25c3f273f267ea","datavalue":{"value":{"amount":"+0.84052056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$3CE84583-FF67-4172-8087-15B9D3055446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b0705ceb04b5c25ae43ae75eed1cc16a35b61e","datavalue":{"value":{"entity-type":"item","numeric-id":2653286,"id":"Q2653286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28928b0839c013dfd2a20b8ba73ea20580e1c83d","datavalue":{"value":{"amount":"+0.8391527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$999D971E-18AA-459B-BBA1-04A80AF03DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738ad9d0cc900011d95d725fe58b8fe367568ce4","datavalue":{"value":{"entity-type":"item","numeric-id":6111233,"id":"Q6111233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f80aec52b9e7cf268ff167922c88fb2fcdc115","datavalue":{"value":{"amount":"+0.83868384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$6E2C3683-27D6-405A-946E-4BD715E176C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e6cc97a8ae3e628e5079c6ede55c01d3f8c487","datavalue":{"value":{"entity-type":"item","numeric-id":1398672,"id":"Q1398672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095b171f23732e1f832a4c73702688cab79f8e45","datavalue":{"value":{"amount":"+0.8379908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$79D49F41-6DF4-43CC-8C6C-C64751C96E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b981c27e94e9f7b43c563a68c15c59cc00cf047","datavalue":{"value":{"entity-type":"item","numeric-id":1001349,"id":"Q1001349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba17133625ad3955b0c0552d83c899050d053c8","datavalue":{"value":{"amount":"+0.8370699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801688$FFBD61B2-320E-4FC7-8EFB-AF61BD46A159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations rationnelles infinitaires","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relations_rationnelles_infinitaires"}}}}}