Journal articles on the topic 'Algebraic automata theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Algebraic automata theory.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Pal, Priyanka, S. P. Tiwari, and Renu Verma. "Different Operators in Automata Theory Based on Residuated and Co-Residuated Lattices." New Mathematics and Natural Computation 15, no. 01 (December 25, 2018): 169–90. http://dx.doi.org/10.1142/s1793005719500108.
Chilton, Chris, Bengt Jonsson, and Marta Kwiatkowska. "An algebraic theory of interface automata." Theoretical Computer Science 549 (September 2014): 146–74. http://dx.doi.org/10.1016/j.tcs.2014.07.018.
Cadilhac, Michaël, Andreas Krebs, and Pierre McKenzie. "The Algebraic Theory of Parikh Automata." Theory of Computing Systems 62, no. 5 (November 7, 2017): 1241–68. http://dx.doi.org/10.1007/s00224-017-9817-2.
van Heerdt, Gerco, Joshua Moerman, Matteo Sammartino, and Alexandra Silva. "A (co)algebraic theory of succinct automata." Journal of Logical and Algebraic Methods in Programming 105 (June 2019): 112–25. http://dx.doi.org/10.1016/j.jlamp.2019.02.008.
Novák, Michal, Štepán Křehlík, and Kyriakos Ovaliadis. "Elements of Hyperstructure Theory in UWSN Design and Data Aggregation." Symmetry 11, no. 6 (May 29, 2019): 734. http://dx.doi.org/10.3390/sym11060734.
ANTIĆ, CHRISTIAN. "On Cascade Products of Answer Set Programs." Theory and Practice of Logic Programming 14, no. 4-5 (July 2014): 711–23. http://dx.doi.org/10.1017/s1471068414000301.
Derksen, Harm, Emmanuel Jeandel, and Pascal Koiran. "Quantum automata and algebraic groups." Journal of Symbolic Computation 39, no. 3-4 (March 2005): 357–71. http://dx.doi.org/10.1016/j.jsc.2004.11.008.
Ambainis, Andris, Martin Beaudry, Marats Golovkins, Arnolds Kikusts, Mark Mercer, and Denis Therien. "Algebraic Results on Quantum Automata." Theory of Computing Systems 39, no. 1 (November 29, 2005): 165–88. http://dx.doi.org/10.1007/s00224-005-1263-x.
Pal, Priyanka, S. P. Tiwari, and J. Kavikumar. "Measure of Operators Associated with Fuzzy Automata." New Mathematics and Natural Computation 16, no. 01 (March 2020): 17–35. http://dx.doi.org/10.1142/s1793005720500027.
LE SAEC, BERTRAND, JEAN-ERIC PIN, and PASCAL WEIL. "SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY." International Journal of Algebra and Computation 01, no. 03 (September 1991): 291–314. http://dx.doi.org/10.1142/s0218196791000195.
Kalampakas, Antonios. "Graph Automata and Graph Colorability." European Journal of Pure and Applied Mathematics 16, no. 1 (January 29, 2023): 112–20. http://dx.doi.org/10.29020/nybg.ejpam.v16i1.4629.
Kuich, Werner. "Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series." Information and Computation 165, no. 1 (February 2001): 69–99. http://dx.doi.org/10.1006/inco.2000.2908.
Podlovchenko, R. I. "Finite state automata in the theory of algebraic program schemata." Proceedings of the Institute for System Programming of the RAS 27, no. 2 (2015): 161–72. http://dx.doi.org/10.15514/ispras-2015-27(2)-10.
Kedlaya, Kiran S. "Finite automata and algebraic extensions of function fields." Journal de Théorie des Nombres de Bordeaux 18, no. 2 (2006): 379–420. http://dx.doi.org/10.5802/jtnb.551.
Křehlík, Štěpán. "n-Ary Cartesian Composition of Multiautomata with Internal Link for Autonomous Control of Lane Shifting." Mathematics 8, no. 5 (May 21, 2020): 835. http://dx.doi.org/10.3390/math8050835.
Kim, S. H., and N. P. Suh. "Mathematical Foundations for Manufacturing." Journal of Engineering for Industry 109, no. 3 (August 1, 1987): 213–18. http://dx.doi.org/10.1115/1.3187121.
Ebas, Nur Ain, Nor Shamsidah Amir Hamzah, Kavikumar Jacob, and Mohd Saifullah Rusiman. "Fuzzy Finite Switchboard Automata with Complete Residuated Lattices." International Journal of Engineering & Technology 7, no. 4.30 (November 30, 2018): 160. http://dx.doi.org/10.14419/ijet.v7i4.30.22099.
Cardona, R., and N. Galatos. "The finite embeddability property for noncommutative knotted extensions of RL." International Journal of Algebra and Computation 25, no. 03 (April 9, 2015): 349–79. http://dx.doi.org/10.1142/s0218196715500010.
Letychevskyi, Oleksandr. "Algebraic School of V.M. Glushkov and Insertion Modeling." Cybernetics and Computer Technologies, no. 4 (December 4, 2023): 8–15. http://dx.doi.org/10.34229/2707-451x.23.4.2.
Comin, Carlo. "Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata." Fundamenta Informaticae 134, no. 3-4 (2014): 335–53. http://dx.doi.org/10.3233/fi-2014-1105.
Semerenko, Vasyl, and Oleksandr Voinalovich. "The simplification of computationals in error correction coding." Technology audit and production reserves 3, no. 2(59) (June 30, 2021): 24–28. http://dx.doi.org/10.15587/2706-5448.2021.233656.
Jin, Jianhua, Qingguo Li, and Chunquan Li. "On Intuitionistic Fuzzy Context-Free Languages." Journal of Applied Mathematics 2013 (2013): 1–16. http://dx.doi.org/10.1155/2013/825249.
Chen, Yu-Fang, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen. "An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits." Proceedings of the ACM on Programming Languages 7, PLDI (June 6, 2023): 1218–43. http://dx.doi.org/10.1145/3591270.
Attou, Samira, Ludovic Mignot, Clément Miklarz, and Florent Nicart. "Monadic Expressions and Their Derivatives." RAIRO - Theoretical Informatics and Applications 58 (2024): 6. http://dx.doi.org/10.1051/ita/2023014.
Gulistan, Muhammad, Feng Feng, Madad Khan, and Aslıhan Sezgin. "Characterizations of Right Weakly Regular Semigroups in Terms of Generalized Cubic Soft Sets." Mathematics 6, no. 12 (November 30, 2018): 293. http://dx.doi.org/10.3390/math6120293.
Bystrova, I. V., and B. P. Podkopaev. "Fault Isolation in Network of State Automates." Journal of the Russian Universities. Radioelectronics 23, no. 1 (February 28, 2020): 18–29. http://dx.doi.org/10.32603/1993-8985-2020-23-1-18-29.
Denis, Laurent. "Méthodes fonctionnelles pour la transcendance en caractéristique finie." Bulletin of the Australian Mathematical Society 50, no. 2 (October 1994): 273–86. http://dx.doi.org/10.1017/s0004972700013733.
Jones, Nick G., and Noah Linden. "Integrable spin chains and the Clifford group." Journal of Mathematical Physics 63, no. 10 (October 1, 2022): 101901. http://dx.doi.org/10.1063/5.0095870.
KÁDÁR, ZOLTÁN, ANNALISA MARZUOLI, and MARIO RASETTI. "BRAIDING AND ENTANGLEMENT IN SPIN NETWORKS: A COMBINATORIAL APPROACH TO TOPOLOGICAL PHASES." International Journal of Quantum Information 07, supp01 (January 2009): 195–203. http://dx.doi.org/10.1142/s0219749909004785.
Picantin, Matthieu. "Automatic Structures for Torus Link Groups." Journal of Knot Theory and Its Ramifications 12, no. 06 (September 2003): 833–66. http://dx.doi.org/10.1142/s0218216503002627.
Gornev, E. S., and I. V. Matyushkin. "A discussion of S.M. Krylov’s book «Neocybernetics» (2008)." Russian Technological Journal 9, no. 6 (December 2, 2021): 73–87. http://dx.doi.org/10.32362/2500-316x-2021-9-6-73-87.
Гайдур, Галина Іванівна, Сергій Олександрович Гахов, and Віталій Вікторович Марченко. "Метод побудови динамічної моделі логічного об’єкта інформаційної системи та визначення закону його функціонування." RADIOELECTRONIC AND COMPUTER SYSTEMS, no. 1 (February 23, 2022): 129–40. http://dx.doi.org/10.32620/reks.2022.1.10.
Brieussel, Jérémie. "An automata group of intermediate growth and exponential activity." Journal of Group Theory 21, no. 4 (July 1, 2018): 573–78. http://dx.doi.org/10.1515/jgth-2017-0046.
Wiweger, Antoni. "Free Games over Coloured Automata." Fundamenta Informaticae 8, no. 2 (April 1, 1985): 199–224. http://dx.doi.org/10.3233/fi-1985-8204.
Champarnaud, J. M., and G. Hansel. "AUTOMATE, a computing package for automata and finite semigroups." Journal of Symbolic Computation 12, no. 2 (August 1991): 197–220. http://dx.doi.org/10.1016/s0747-7171(08)80125-3.
D'Angeli, Daniele, Dominik Francoeur, Emanuele Rodaro, and Jan Philipp Wächter. "On the orbits of automaton semigroups and groups." Algebra and Discrete Mathematics 33, no. 1 (2022): 1–29. http://dx.doi.org/10.12958/adm1692.
FABERT, OLIVER. "LOCAL SYMPLECTIC FIELD THEORY." International Journal of Mathematics 24, no. 05 (May 2013): 1350041. http://dx.doi.org/10.1142/s0129167x13500419.
Peltier, Nicolas. "Tree Automata and Automated Model Building." Fundamenta Informaticae 30, no. 1 (1997): 59–81. http://dx.doi.org/10.3233/fi-1997-30105.
Martiník, Ivo. "Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory." Scientific World Journal 2015 (2015): 1–19. http://dx.doi.org/10.1155/2015/303705.
Dunets, Andriy, Gerhard Schellhorn, and Wolfgang Reif. "Automated Flaw Detection in Algebraic Specifications." Journal of Automated Reasoning 45, no. 4 (January 29, 2010): 359–95. http://dx.doi.org/10.1007/s10817-010-9166-1.
Ganty, Pierre, Elena Gutiérrez, and Pedro Valero. "A Congruence-Based Perspective on Finite Tree Automata." Fundamenta Informaticae 184, no. 1 (January 10, 2022): 1–47. http://dx.doi.org/10.3233/fi-2021-2091.
Otto, Friedrich. "A Complete Taxonomy of Restarting Automata without Auxiliary Symbols*." Fundamenta Informaticae 180, no. 1-2 (May 12, 2021): 77–101. http://dx.doi.org/10.3233/fi-2021-2035.
Kutylowski, Miroslaw. "Chains of Finite Automat a with Bounded Number of Chains1." Fundamenta Informaticae 11, no. 3 (July 1, 1988): 267–73. http://dx.doi.org/10.3233/fi-1988-11304.
Löding, Christof, and Max Philip Stachon. "On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words." Fundamenta Informaticae 189, no. 1 (July 7, 2023): 69–91. http://dx.doi.org/10.3233/fi-222152.
Fernau, Henning, Martin Kutrib, and Matthias Wendlandt. "Self-Verifying Pushdown and Queue Automata." Fundamenta Informaticae 180, no. 1-2 (May 12, 2021): 1–28. http://dx.doi.org/10.3233/fi-2021-2032.
Pighizzini, Giovanni, and Luca Prigioniero. "Non-Self-Embedding Grammars and Descriptional Complexity." Fundamenta Informaticae 180, no. 1-2 (May 12, 2021): 103–22. http://dx.doi.org/10.3233/fi-2021-2036.
Černý, Anton, and Jozef Gruska. "Modular Real-Time Trellis Automata." Fundamenta Informaticae 9, no. 3 (July 1, 1986): 253–82. http://dx.doi.org/10.3233/fi-1986-9302.
Beyne, Tim, and Michiel Verbauwhede. "Integral Cryptanalysis Using Algebraic Transition Matrices." IACR Transactions on Symmetric Cryptology 2023, no. 4 (December 8, 2023): 244–69. http://dx.doi.org/10.46586/tosc.v2023.i4.244-269.
Dobronravov, Egor, Nikita Dobronravov, and Alexander Okhotin. "On the Length of Shortest Strings Accepted by Two-way Finite Automata." Fundamenta Informaticae 180, no. 4 (June 30, 2021): 315–31. http://dx.doi.org/10.3233/fi-2021-2044.
Sakai, Masahiko, Toshiki Sakabe, and Yasuyoshi Inagaki. "Algebraic specification and automatic generation of compilers." Systems and Computers in Japan 23, no. 2 (1992): 1–13. http://dx.doi.org/10.1002/scj.4690230201.