en.unionpedia.org

Kai Salomaa, the Glossary

Kai Tapani Salomaa (born 9 February 1960) is a Finnish Canadian theoretical computer scientist, known for his numerous contributions to the state complexity of finite automata.^[1]

Arto Salomaa

Arto Kustaa Salomaa (born 6 June 1934) is a Finnish mathematician and computer scientist. Kai Salomaa and Arto Salomaa are Finnish computer scientists and university of Turku alumni.

See Kai Salomaa and Arto Salomaa

Automata theory

Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them.

See Kai Salomaa and Automata theory

Finite-state machine

A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata), finite automaton, or simply a state machine, is a mathematical model of computation.

See Kai Salomaa and Finite-state machine

Finland

Finland, officially the Republic of Finland, is a Nordic country in Northern Europe.

See Kai Salomaa and Finland

Finnish Canadians

Finnish Canadians (Kanadansuomalaiset) are Canadian citizens of Finnish ancestry or Finns who emigrated to and reside in Canada.

See Kai Salomaa and Finnish Canadians

In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules called a formal grammar.

See Kai Salomaa and Formal language

Kingston, Ontario

Kingston is a city in Ontario, Canada, on the northeastern end of Lake Ontario.

See Kai Salomaa and Kingston, Ontario

Queen's University at Kingston

Queen's University (Kingston, Ontario), commonly known as Queen's University or simply Queen's, is a public research university in Kingston, Ontario, Canada.

See Kai Salomaa and Queen's University at Kingston

Ronald V. Book

Ronald Vernon Book (March 5 1937 – May 28, 1997 in Santa Barbara, California) was a theoretical computer scientist.

See Kai Salomaa and Ronald V. Book

State complexity

State complexity is an area of theoretical computer science dealing with the size of abstract automata, such as different kinds of finite automata.

See Kai Salomaa and State complexity

Theoretical computer science

Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.

See Kai Salomaa and Theoretical computer science

Turku

Turku (Åbo) is a city in Finland and the regional capital of Southwest Finland.

See Kai Salomaa and Turku

University of Turku

The University of Turku (Turun yliopisto, in Åbo universitet, shortened UTU) is a multidisciplinary public university with eight faculties located in the city of Turku in southwestern Finland.

See Kai Salomaa and University of Turku

University of Western Ontario

The University of Western Ontario (UWO; branded as Western University) is a public research university in London, Ontario, Canada.

See Kai Salomaa and University of Western Ontario

References

[1] https://en.wikipedia.org/wiki/Kai_Salomaa

Kai Salomaa, the Glossary

Table of Contents