{"entities":{"Q1397208":{"pageid":1407948,"ns":120,"title":"Item:Q1397208","lastrevid":70328673,"modified":"2026-04-13T14:02:20Z","type":"item","id":"Q1397208","labels":{"en":{"language":"en","value":"Implementation and application of automata. 7th international conference, CIAA 2002, Tours, France, July 3--5, 2002. Revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1953115"}},"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":"Q1397208$65B79686-D31A-4E30-8DF1-9B2700EA45B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"144d36e01d2cb8a6783c1b4402ffea59edf53e29","datavalue":{"value":{"text":"Implementation and application of automata. 7th international conference, CIAA 2002, Tours, France, July 3--5, 2002. Revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1397208$F8F2D3AF-8EF7-4BEE-8D82-5A2A1BFEF398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48d2d3f9c06e2fa1aa25c808dea1ee947d122b13","datavalue":{"value":"1017.00032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397208$837CC849-3714-46DF-9379-C6D4595D49E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397208$22F0464B-CE75-42F3-A2BC-D8F5EFAFB2ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77adafc20945d0e29a914c84d50e89458fb662b6","datavalue":{"value":{"time":"+2003-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1397208$4C1CDFFF-6D3F-421D-A087-9E2F48FD340B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb4904ef98f60c64bdc7ca770e27582ed9e6b301","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2608.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1397208$BC3EF6C1-A29A-4766-A641-4A8E4507CB8E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c00d60f9c728a081751349256cd8fc91d86624e","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1007.00059).  Indexed articles:  \\textit{Mohri, Mehryar}, Edit-distance of weighted automata, 1-23 [Zbl 1033.68066]  \\textit{Allauzen, Cyril; Mohri, Mehryar}, \\(p\\)-subsequentiable transducers, 24-34 [Zbl 1033.68051]  \\textit{Alonso, Miguel A.; D\u00edaz, V\u00edctor J.; Vilares, Manuel}, Bidirectional push down automata, 35-46 [Zbl 1033.68052]  \\textit{Anselmo, Marcella; Giammarresi, Dora; Varricchio, Stefano}, Finite automata and non-self-embedding grammars, 47-56 [Zbl 1033.68053]  \\textit{Brzozowski, Janusz; Gheorghiu, Mihaela}, Simulation of gate circuits in the algebra of transients, 57-66 [Zbl 1033.94568]  \\textit{C\u00e2mpeanu, Cezar; P\u0103un, Andrei}, The number of similarity relations and the number of minimal deterministic finite cover automata, 67-76 [Zbl 1033.68055]  \\textit{C\u00e2mpeanu, Cezar; Salomaa, Kai; Yu, Sheng}, Regex and extended regex, 77-84 [Zbl 1033.68056]  \\textit{Czyzowicz, Jurek; Fraczak, Wojciech; Pelc, Andrzej; Rytter, Wojciech}, Prime decompositions of regular prefix codes, 85-94 [Zbl 1033.68060]  \\textit{Fatholahzadeh, Abolfazl}, Implementation of dictionaries via automata and decision trees, 95-105 [Zbl 1033.68061]  \\textit{Gheorghiu, Mihaela; Brzozowski, Janusz}, Feedback-free circuits in the algebra of transients, 106-116 [Zbl 1033.94569]  \\textit{K\u00f6rner, Heiko}, On minimizing cover automata for finite languages in \\(O(n\\log n)\\) time, 117-127 [Zbl 1033.68064]  \\textit{Gra\u00f1a, Jorge; Andrade, Gloria; Vilares, Jes\u00fas}, Compilation of constraint-based contextual rules for part-of-speech tagging into finite state transducers, 128-137 [Zbl 1033.68667]  \\textit{Guingne, Franck; Nicart, Florent}, Finite state lazy operations in NLP, 138-147 [Zbl 1033.68668]  \\textit{Holzer, Markus; Kutrib, Martin}, State complexity of basic operations on nondeterministic finite automata, 148-157 [Zbl 1033.68063]  \\textit{Neto, Jo\u00e3o Jos\u00e9; Bravo, C\u00e9sar}, Adaptive automata -- a revisited proposal, 158-168 [Zbl 1033.68578]  \\textit{Okhotin, Alexander}, Efficient automaton-based recognition for linear conjunctive languages, 169-181 [Zbl 1033.68076]  \\textit{Pol\u00e1k, Libor}, Syntactic semiring and language equations, 182-193 [Zbl 1033.68068]  \\textit{Sutner, Klaus}, Reduced power automata, 194-202 [Zbl 1033.68070]  \\textit{Trahtman, A. N.}, A polynomial time algorithm for left [right] local testability, 203-212 [Zbl 1033.68071]  \\textit{Okhotin, Alexander}, Whale Calf, a parser generator for conjunctive grammars, 213-220 [Zbl 1033.68579]  \\textit{Sutner, Klaus}, \\texttt{automata}, a hybrid system for computational automata theory, 221-227 [Zbl 1033.68580]  \\textit{Trahtman, A. N.}, A package TESTAS for checking some kinds of testability, 228-232 [Zbl 1033.68581]  \\textit{Bal\u00edk, Miroslav}, DAWG versus suffix array, 233-238 [Zbl 1033.68549]  \\textit{Br\u00fcggemann-Klein, Anne; Wood, Derick}, On predictive parsing and extended context-free grammars, 239-247 [Zbl 1033.68573]  \\textit{Caron, Pascal; Flouret, Marianne}, Star normal form, rational expressions, and Glushkov WFAs properties, 248-254 [Zbl 1033.68059]  \\textit{Daciuk, Jan}, Comparison of construction algorithms for minimal, acyclic, deterministic, finite-state automata from sets of strings, 255-261 [Zbl 1033.68575]  \\textit{Largeteau, Ga\u00eblle; Geniet, Dominique}, Term validation of distributed hard real-time applications, 262-269 [Zbl 1033.68520]  \\textit{Tron\u00ed\u010dek, Zden\u011bk}, Common subsequence automaton, 270-275 [Zbl 1033.68582]  \\textit{Vilares, M.; Darriba, Victor M.; Alonso, M. A.}, Searching for asymptotic error repair, 276-281 [Zbl 1033.68574]  \\textit{Bartzis, Constantinos; Bultan, Tevfik}, Automata-based representations for arithmetic constraints in automated verification, 282-288 [Zbl 1033.68583]  \\textit{Holub, Jan; Crochemore, Maxime}, On the implementation of compact DAWG's, 289-294 [Zbl 1033.68551]  \\textit{Holub, Jan}, Dynamic programming -- NFA simulation, 295-300 [Zbl 1033.68576]  \\textit{Melichar, Bo\u0159ivoj}, Deterministic parsing of cyclic strings, 301-306 [Zbl 1033.68577]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397208$21F1EC45-1FEB-47A3-9A54-E4F177964BA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397208$734E5A67-30D8-4993-981D-55D17858DE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397208$38E8A5AD-0904-4976-95B8-79A3DE6DC8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397208$0831EB24-71B5-4BEB-BA5D-C50B6DD31A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7f561268fabdab98d672a65553aece65fcb68d6","datavalue":{"value":"1953115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397208$59AC5DA5-6B57-4265-9166-95801095979B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff7125545fcdacaefe3808a1a5f0e0a281b403","datavalue":{"value":"Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397208$82239345-8990-4C9F-ACDA-138D5AF20EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"075145fceb1652f4d6e7775c09707bd92968156e","datavalue":{"value":"CIAA 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397208$2DCBEDE8-ED4D-438A-879A-AE5B1CE5C1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836e7ca9157c48ef57858c94b3327e16ef20a3c3","datavalue":{"value":"Tours (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1397208$0040F154-E2BA-4487-A2E5-3553F33723FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60522694680615678fcb03b5ad121a1df8cc38c5","datavalue":{"value":{"entity-type":"item","numeric-id":13701,"id":"Q13701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1397208$E7525513-C1AF-46E1-95D4-F53E9B96C792","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":"Q1397208$05C24697-C242-42BC-BE19-D29BC2627D79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f403f0537b2c8663fa4bcff03f498c49214afaad","datavalue":{"value":"10.1007/3-540-44977-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397208$242CD2AF-B4E2-4EF5-A28B-7E8CDBAAD113","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9b7aceae5f9fda478b8ee782c9a2b881c0b155a","datavalue":{"value":"W4214561568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1397208$57CD1EE2-39FB-4E30-A3D4-DD9904720E65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementation and application of automata. 7th international conference, CIAA 2002, Tours, France, July 3--5, 2002. Revised papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementation_and_application_of_automata._7th_international_conference,_CIAA_2002,_Tours,_France,_July_3--5,_2002._Revised_papers"}}}}}