2023 - Research.com Mathematics in Finland Leader Award
1992 - Member of Academia Europaea
Arto Salomaa mostly deals with Theoretical computer science, Discrete mathematics, Formal language, Regular language and Linguistics. Arto Salomaa interconnects Computation, DNA computing, Turing machine, State and Theory of computation in the investigation of issues within Theoretical computer science. The various areas that Arto Salomaa examines in his Discrete mathematics study include Formal power series, Rational series, Combinatorics and Algebra.
His studies deal with areas such as Unrestricted grammar, Regulated rewriting and Natural language processing as well as Formal language. Arto Salomaa has included themes like Mathematics education and Generative power in his Regulated rewriting study. His study on Regular language also encompasses disciplines like
Arto Salomaa mainly focuses on Discrete mathematics, Theoretical computer science, Algebra, Formal language and Regular language. His Discrete mathematics research includes elements of Finite-state machine, Automaton and Combinatorics. His Theoretical computer science study deals with DNA computing intersecting with Turing machine.
His work deals with themes such as Context-free language, Linguistics and Artificial intelligence, which intersect with Formal language. His Regular language research integrates issues from Characterization and Programming language, Cone. The concepts of his Decidability study are interwoven with issues in Equivalence and Decision problem.
The scientist’s investigation covers issues in Discrete mathematics, Membrane computing, Parikh matrix, Combinatorics and Algebra. His work in the fields of Discrete mathematics, such as Fibonacci number, overlaps with other areas such as Reaction system. His Membrane computing research is classified as research in Theoretical computer science.
His study in the fields of State complexity and Regular language under the domain of Theoretical computer science overlaps with other disciplines such as Combined operations. His biological study spans a wide range of topics, including Context-free language, Deterministic pushdown automaton and Truth function. The study incorporates disciplines such as Model checking, Boolean circuit and Formal language in addition to Semantics.
Arto Salomaa spends much of his time researching Discrete mathematics, Parikh matrix, Word, Arithmetic and Theoretical computer science. His work in the fields of Discrete mathematics, such as Decidability, intersects with other areas such as Reaction system. His work investigates the relationship between Decidability and topics such as Special case that intersect with problems in Sequence and Automata theory.
His research investigates the connection with Word and areas like Inference which intersect with concerns in Ambiguity. Arto Salomaa has researched Arithmetic in several fields, including Value, Polynomial and Arithmetic function. His work on Regular language and State complexity as part of general Theoretical computer science research is frequently linked to Combined operations, thereby connecting diverse disciplines of science.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Formal Languages
Arto Salomaa.
(1973)
Handbook of Formal Languages
Grzegorz Rozenberg;Arto Salomaa.
(1997)
Public-Key Cryptography
Arto Salomaa.
(1990)
The mathematical theory of L systems
Grzegorz Rozenberg;Arto Salomaa.
(1980)
DNA Computing: New Computing Paradigms
Gheorghe Paun;Grzegorz Rozenberg;Arto Salomaa.
(1998)
Automata-theoretic aspects of formal power series
Arto Salomaa;M. Soittola.
(1978)
The Oxford Handbook of Membrane Computing
Gheorghe Paun;Grzegorz Rozenberg;Arto Salomaa.
(2010)
Developments in Language Theory II
J Dassow;G Rozenberg;A Salomaa.
(2002)
Semirings, Automata, Languages
Werner Kuich;Arto Salomaa.
(2011)
Chinese remainder theorem: applications in computing, coding, cryptography
C. Ding;D. Pei;A. Salomaa.
(1996)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Leiden University
Romanian Academy
Graz University of Technology
Hong Kong University of Science and Technology
University of South Carolina
University of Auckland
University of Seville
University of California, Riverside
Technical University of Berlin
University of California, Santa Barbara
University of Bristol
Delft University of Technology
Shandong University
École Polytechnique Fédérale de Lausanne
Spanish National Research Council
University of South Carolina
Technion – Israel Institute of Technology
Zhejiang University
Fox Chase Cancer Center
University of Maine
University of Hull
National Center for Atmospheric Research
Miguel Hernandez University
Durham University
Icahn School of Medicine at Mount Sinai
University of Natural Resources and Life Sciences