Datum održavanja: 1. srpnja 2021. u 14:30 sati online putem BBB platforme
Predavač: Violeta Manevska, University "St. Clement Ohridski" - Bitola, Faculty of Information and Communication Technologies - Bitola
Naziv predavanja: Generalization of the theory of finite semigroup automata

Abstract:

The theory of finite automata, abstract mathematical machines and formal grammars has taken an important role in the development of computer science. In the field of finite automata, it has been observed that during their operating they transit from one state to another. The input word allows the automaton to go to the next state, and it will end in one of the possible (final) states. This means that a word enters the automaton, and the result of the automaton operation is one final state.

On the other hand, the theory of automata is considered using more general mathematical branches, such as the theory of categories and the theory of semigroups.

In this lecture, we will consider how to define automata that will be treated through the theory of vector value semigroups. We will introduce the necessary concepts from the theory of algebraic structures. Based on this, we will generalize the definition of a finite automata and the languages ​​that can be recognized. All this will be illustrated through examples.