Opis projektu
Ujednolicone podejście do automatów skończonych usprawni logikę cyfrową
Zespół finansowanego ze środków Europejskiej Rady ds. Badań Naukowych projektu LIPA ma na celu opracowanie ujednoliconej teorii automatów skończonych i monoidów, które mają fundamentalne znaczenie w sektorze logiki komputerowej. Celem jest analiza szerokiego zakresu modeli automatów skończonych, zbadanie łączących ich podobieństw oraz możliwości zastosowania do różnych danych wejściowych i wyjściowych. Modele te obejmą słowa, drzewa, nieskończone dane wejściowe oraz alfabety, a także dane wyjściowe w formie boolowskiej lub numerycznej. Zespół projektu LIPA będzie także dążył do opracowania zagadnienia automatów skończonych w nieznanych lub niejednoznacznych warunkach, a dodatkowo zamierza opracować zestaw narzędzi do automatycznego oceniania ćwiczeń automatów oraz syntezy przekształceń tekstu na podstawie przykładów.
Cel
Finite-state devices like finite automata and monoids on finite words, or extensions to trees and infinite objects, are fundamental tools of logic in computer science. There are tens of models in the literature, ranging from finite automata on finite words to weighted automata on infinite trees. Many existing finite-state models share important similarities, like existence of canonical (minimal) devices, or decidability of emptiness, or a logic-automata connection. The first and primary goal of this project is to systematically investigate these similarities, and create a unified theory of finite-state devices, which:
1. covers the whole spectrum of existing finite-state devices, including settings with diverse inputs (e.g. words and trees, or infinite inputs, or infinite alphabets) and diverse outputs (e.g. Boolean like in the classical automata, or numbers like in weighted automata); and
2. sheds light on the correct notion of finite-state device in settings where there is no universally accepted choice or where finite-state devices have not been considered at all.
The theory of finite-state devices is one of those fields of theory where even the more advanced results have natural potential for applications. It is surprising and sad how little of this potential is normally realised, with most existing software using only the most rudimentary theoretical techniques. The second goal of the project is to create two tools which use more advanced aspects of the theory of automata to solve simple problems of wide applicability (i.e. at least tens of thousands of users):
1. a system that automatically grades exercises in automata, which goes beyond simple testing, and forces the students to write proofs
2. a system that uses learning to synthesise text transformations (such a search-and-replace, but also more powerful ones) by using examples
Dziedzina nauki
Słowa kluczowe
Program(-y)
Temat(-y)
System finansowania
ERC-COG - Consolidator GrantInstytucja przyjmująca
00-927 WARSZAWA
Polska