{"entities":{"Q1122359":{"pageid":1133108,"ns":120,"title":"Item:Q1122359","lastrevid":49288450,"modified":"2026-01-06T22:04:35Z","type":"item","id":"Q1122359","labels":{"en":{"language":"en","value":"A necessary condition for the rationality of the zeta function of a regular language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4106278"}},"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":"Q1122359$9F8FB0B3-B6EA-48D6-A90F-798685837A90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e32b1c60e8f94f3d97c5240a29f5fe036ae3fdf","datavalue":{"value":{"text":"A necessary condition for the rationality of the zeta function of a regular language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1122359$6778D435-B8F1-4AC5-89F7-A7F1D691B775","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4014d5094071d03fc25db026fdb86e25a9da796","datavalue":{"value":"0675.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122359$BE6F8D50-32E9-4EA0-B6D2-A4103733CDF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"937aa0d68ce64249f300afaa630f989254b875d3","datavalue":{"value":"10.1016/0304-3975(89)90159-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122359$9151E2E9-7CA8-44E5-84EC-9692A385C2E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"963c638c9ff10e13f8c063500013690e36a32a43","datavalue":{"value":{"entity-type":"item","numeric-id":221693,"id":"Q221693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$FD34010E-E2C0-4FD5-8D94-379E5EED2F71","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":"Q1122359$3355B557-8FF7-4645-BAD7-23B29EED5CB9","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":"Q1122359$846881A6-7FE4-43B5-8E33-3AA79BABD5D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"087902f54f35ab43001c88b7a46a47e452852aab","datavalue":{"value":"The zeta function of a formal language L is the series exp(\\(\\sum_{n\\geq 1}a_ nx^ n/n)\\), where \\(a_ n\\) is the number of words of length n in L. The author shows that if L is regular and if its zeta function is regular, then it has integer coefficients and each irreducible factor of its numerator and denominator divides the denominator of the generating function \\(\\sum_{n\\geq 0}a_ nx^ n\\) of L (which is rational, L being regular). He shows, under the same hypothesis, that there are cyclic languages \\(L_ 1\\) and \\(L_ 2\\) such that the generating function G(L) of L is \\(G(L_ 1)-G(L_ 2)\\) (a language is cyclic if (i) uv\\(\\in L\\Leftrightarrow vu\\in L\\) and (ii) \\(w\\in L\\Leftrightarrow w^ n\\in L\\) (n\\(\\geq 1))\\). Moreover, it is decidable whether the zeta function of a regular language is rational.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122359$10DE20AB-91B2-4F6A-A957-229533B4B151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122359$6B302AEF-9ECC-4046-85F3-57E22D3BC7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122359$917ADFD9-EC66-4358-8A26-78AA536C39EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"984bdc7d09f60756a4325b5e36707fdaf4419eee","datavalue":{"value":"11S40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122359$9DB96FB4-782A-427C-9AE1-3170BCFEF657","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e580a10472776cf6334b5121123a028f0fe5c550","datavalue":{"value":"4106278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122359$77602EC8-4C05-4370-A81A-7D306F684D10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18043ce842406adf7d9e4c8f3cd17b240a5165a","datavalue":{"value":"zeta function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122359$F8898D76-0813-4E23-9221-EF5938B4407E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1122359$7E6C32D1-C422-47E9-AD94-53062BBC759C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6e2ee0a38b69b02ca6255e4ff67da90f30440a02","datavalue":{"value":"Q56060442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1122359$439BCD89-0B19-499E-B4CB-C74190D9FEF9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cdb5d51a2bda6cf4c2922285188fc67ca4b14abc","datavalue":{"value":{"entity-type":"item","numeric-id":213124,"id":"Q213124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$125AF6CC-CD9E-46CC-9A83-7D9610D056A9","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":"Q1122359$B4A631EB-8F67-48E9-8626-B656243F1F5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f914a0125fbfcefa866a5094ff6a5d2318079f","datavalue":{"value":{"entity-type":"item","numeric-id":4430300,"id":"Q4430300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$660BECBB-0E03-4FE6-AC95-3F1C4CAFD107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a89855ae72700e242a4dc8bcf47ae97fc087a17","datavalue":{"value":{"entity-type":"item","numeric-id":3823156,"id":"Q3823156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$62F4211B-2DE3-4AE2-A264-F2F8D819DA47","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":"Q1122359$F97829CF-125D-452E-B140-1B2A937D2AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$878DF9B8-47DB-4E32-84F8-611359B06B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$898EDCEE-139D-4880-ABE2-4ED24ACBD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f60764865641217d564887c22fdd45b8531bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3948608,"id":"Q3948608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$FF6374E2-66D5-4F82-814D-5A80AE46D0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$2D5E3A6E-601C-420B-AC2C-C58CB67C4E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89632972e97853a087120cc14b4126dd15663cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1179183,"id":"Q1179183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1122359$90DDA426-AE9E-48AD-826A-239F61CB6689","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2ef14b0bd429442cf34ede05e100c119c553a1","datavalue":{"value":{"entity-type":"item","numeric-id":4711989,"id":"Q4711989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb2f4734991566ebaca0ccdb2117cd432e53d02","datavalue":{"value":{"amount":"+0.8983298540115356","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":"Q1122359$10DEAF54-F74E-4253-AC59-A80A218C0345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35de058d3c273834681897d673bc0ec647916675","datavalue":{"value":{"entity-type":"item","numeric-id":995583,"id":"Q995583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2adbf669434a22166c64527eb0f3115739a20b","datavalue":{"value":{"amount":"+0.8961889743804932","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":"Q1122359$B4EF27D8-0985-4C1F-9861-33F7496903D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd093eb1660832f3a27e9353bc3703472f60abd6","datavalue":{"value":{"entity-type":"item","numeric-id":3823156,"id":"Q3823156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47170e63d79367c2403853d3f73c56480f95b9f","datavalue":{"value":{"amount":"+0.8920421600341797","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":"Q1122359$B7C713FC-FEC6-4E3F-975B-80FC8E63E89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b076ae4a66bea76ea708d860c26d964544a0cc3","datavalue":{"value":{"entity-type":"item","numeric-id":1179183,"id":"Q1179183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57938c659c03e9bd75ca3bd2a9e6af0927ff0fce","datavalue":{"value":{"amount":"+0.8733379244804382","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":"Q1122359$0357B270-F473-419C-A9EA-159CB60E1CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ff25e0450b01c48727ba9ab658a104f46eeb00","datavalue":{"value":{"entity-type":"item","numeric-id":753500,"id":"Q753500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd49dfa0a088fbbf0c35925961162a23b0cc1a8d","datavalue":{"value":{"amount":"+0.8708184361457825","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":"Q1122359$BC68FA96-4046-409A-B415-852177BB85DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1122359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1122359"}}}}}