المؤلفون: Kreczman, Savinien, Prigioniero, Luca, Rowland, Eric, Stipulanti, Manon

المصدر: urn:isbn:978-3-03-133179-4
Combinatorics on Words - 14th International Conference, WORDS 2023, Proceedings, 206—219 (2023); 14th International Conference on WORDS 2023, Umeå, Swe [Swe], 12-06-2023 => 16-06-2023

مصطلحات موضوعية: Automatic sequences, Constant-recursive sequences, Magic numbers, Periodic sequences, Regular sequences, Constant-recursive sequence, Deterministic finite automata, Formal languages and automata, Integer-N, Nondeterministic finite automaton, Periodic sequence, Recursive sequences, Regular sequence, Theoretical Computer Science, Computer Science (all), Physical, chemical, mathematical & earth Sciences, Mathematics, Physique, chimie, mathématiques & sciences de la terre, Mathématiques

العلاقة: https://link.springer.com/content/pdf/10.1007/978-3-031-33180-0_16Test

الوصول الحر: https://orbi.uliege.be/handle/2268/300422Test

المؤلفون: Cheng, Lihong, Feng, Lei

المصدر: IEEE Access. 11:17334-17347

مصطلحات موضوعية: Discrete-event systems, Deterministic finite automata, Model abstraction, Satisfiability, Supremal Quasi-congruence relation, Datalogi, Computer Science

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-324253Test
https://doi.org/10.1109/access.2023.3246123Test

المؤلفون: Manzini, Giovanni, Policriti, Alberto, Prezza, Nicola, Riccardi, Brian

مصطلحات موضوعية: String Matching, Deterministic Finite Automata, Wheeler languages, Graph Indexing, Co-lexicographical Sorting, Theory of computation → Pattern matching, Theory of computation → Formal languages and automata theory

وصف الملف: application/pdf

العلاقة: https://dx.doi.org/10.4230/LIPIcs.CPM.2024Test; https://dx.doi.org/10.1137/1.9781611975994.55Test; https://dx.doi.org/10.1016/j.ic.2021.104820Test; https://dx.doi.org/10.1017/CBO9780511615320Test; https://dx.doi.org/10.1145/3607471Test; https://dx.doi.org/10.1016/j.tcs.2017.06.016Test; https://dx.doi.org/10.4230/LIPIcs.CPM.2023.16Test; https://dx.doi.org/10.1145/322276.322287Test; https://dx.doi.org/10.1016/S1574-6526Test(07)03004-0

الإتاحة: https://doi.org/10.4230/lipics.cpm.2024.2310.4230/LIPIcs.CPM.202410.1137/1.9781611975994.5510.1016/j.ic.2021.10482010.1017/CBO978051161532010.1145/360747110.1016/j.tcs.2017.06.01610.4230/LIPIcs.CPM.2023.1610.1145/322276.32228710.1016/S1574-6526Test(07)03004-0

المؤلفون: Bringmann, Karl, Grønlund, Allan, Künnemann, Marvin, Larsen, Kasper Green

المساهمون: Karl Bringmann and Allan Grønlund and Marvin Künnemann and Kasper Green Larsen

مصطلحات موضوعية: Fine-grained complexity theory, non-deterministic finite automata

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 287, 15th Innovations in Theoretical Computer Science Conference (ITCS 2024); urn:nbn:de:0030-drops-195500; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2024.22Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ITCS.2024.22Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-195500Test

المؤلفون: Lihong Cheng, Lei Feng

المصدر: IEEE Access, Vol 11, Pp 17334-17347 (2023)

مصطلحات موضوعية: Discrete-event systems, deterministic finite automata, model abstraction, satisfiability, supremal quasi-congruence relation, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/10047864Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/0591c89c271a4b76a016c6f3acfbd32aTest

المؤلفون: Kim, Sung-Hwan, Olivares, Francisco, Prezza, Nicola

مصطلحات موضوعية: String Matching, Deterministic Finite Automata, Graph Indexing, Co-lexicographical Sorting, Theory of computation → Pattern matching, Theory of computation → Formal languages and automata theory

وصف الملف: application/pdf

العلاقة: https://github.com/regindex/DFA-suffix-doublingTest; https://www.appliedcombinatorics.org/book/app-comb.htmlTest; https://dx.doi.org/10.4230/LIPIcs.CPM.2023Test; https://dx.doi.org/10.1137/1.9781611975994.55Test; https://dx.doi.org/10.1007/978-3-642-33122-0_18Test; https://dx.doi.org/10.1016/0166-218XTest(95)80003-M; https://dx.doi.org/10.1109/DCC52660.2022.00035Test; https://dx.doi.org/10.48550/ARXIV.2208.04931Test; https://dx.doi.org/10.1137/1.9781611976465.153Test; https://dx.doi.org/10.2307/1969503Test; https://dx.doi.org/10.1016/0166-218XTest(95)00112-5; https://dx.doi.org/10.1109/SFCS.2005.69Test; https://dx.doi.org/10.1109/SFCS.2000.892127Test; https://dx.doi.org/10.1016/j.tcs.2017.06.016Test; https://dx.doi.org/10.4230/LIPIcs.ESA.2019.51Test; https://dx.doi.org/10.4230/LIPIcs.ICALP.2022.82Test; https://dx.doi.org/10.12688/wellcomeopenres.15126.2Test; https://dx.doi.org/10.1137/0222058Test

الإتاحة: https://doi.org/10.4230/lipics.cpm.2023.1610.4230/LIPIcs.CPM.202310.1137/1.9781611975994.5510.1007/978-3-642-33122-0_1810.1016/0166-218XTest(95)80003-M10.1109/DCC52660.2022.0003510.48550/ARXIV.2208.0493110.1137/1.9781611976465.15310.2307/196950310.1016/0166-218X(95)00112-510.1109/SFCS.2005.6910.1109/SFCS.2000.89212710.1016/j.tcs.2017.06.01610.4230/LIPIcs.ESA.2019.5110.4230/LIPIcs.ICALP.2022.8210.12688/wellcomeopenres.15126.210.1137/0222058

المؤلفون: Sung-Hwan Kim, Francisco Olivares, Nicola Prezza

المساهمون: Kim, SUNG-HWAN, Olivares, Francisco, Prezza, Nicola

مصطلحات موضوعية: Co-lexicographical Sorting, Deterministic Finite Automata, Graph Indexing, String Matching, Settore INF/01 - Informatica

العلاقة: ispartofbook:34th Annual Symposium on Combinatorial Pattern Matching (CPM 2023); 34th Annual Symposium on Combinatorial Pattern Matching (CPM 2023); volume:259; https://hdl.handle.net/10278/5024920Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85165986296

الإتاحة: https://doi.org/10.4230/lipics.cpm.2023.16Test
https://hdl.handle.net/10278/5024920Test

المؤلفون: Anand, Ashwani, Zetzsche, Georg

المساهمون: Ashwani Anand and Georg Zetzsche

مصطلحات موضوعية: downward closure, priority order, pushdown automata, non-deterministic finite automata, abstraction, computability

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023); urn:nbn:de:0030-drops-190339; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.39Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2023.39Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-190339Test

المؤلفون: Jecker, Ismaël¹, Filiot, Emmanuel¹

المصدر: International Journal of Foundations of Computer Science. Feb2018, Vol. 29 Issue 2, p271-295. 25p.

مصطلحات موضوعية: DETERMINISTIC finite automata, FINITE state machines, TRANSDUCERS, SEQUENTIAL analysis, BINARY number system

المؤلفون: Holzer, Markus¹, Jakobi, Sebastian¹, Kutrib, Martin¹

المصدر: International Journal of Foundations of Computer Science. Feb2018, Vol. 29 Issue 2, p251-270. 20p.

مصطلحات موضوعية: *ALGORITHMS, DETERMINISTIC finite automata, LANGUAGE & languages, UNIQUENESS (Mathematics), SET theory