Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

2017/25/B/ST6/01920

Słowa kluczowe:

automat skończony general game playing język regularny słowo unikające uniwersalność

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST1_15: Matematyczne aspekty informatyki
  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

Panel:

ST6 - Informatyka i technologie informacyjne

Jednostka realizująca:

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Marek Szykuła 

Liczba wykonawców projektu: 5

Konkurs: OPUS 13 - ogłoszony 2017-03-15

Przyznana kwota: 520 400 PLN

Rozpoczęcie projektu: 2018-01-19

Czas trwania projektu: 36 miesięcy

Status projektu: Projekt w realizacji

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego

  • Teksty w publikacjach pokonferencyjnych (3)
  1. Improving the Upper Bound on the Length of the Shortest Reset Words
    Autorzy:
    Marek Szykuła
    Konferencja:
    35th Symposium on Theoretical Aspects of Computer Science (STACS 2018) (rok: 2018, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja 28.02.2018--3.03.2018
    Status:
    Opublikowane
  2. Complexity of Preimage Problems for Deterministic Finite Automata
    Autorzy:
    Mikhail V. Berlinkov, Robert Ferens, Marek Szykuła
    Konferencja:
    43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
    Data:
    konferencja 27.08.2018--31.08.2018
    Status:
    Opublikowane
  3. Finding Short Synchronizing Words for Prefix Codes
    Autorzy:
    Andrew Ryzhikov, Marek Szykuła
    Konferencja:
    43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
    Data:
    konferencja 27.08.2018--31.08.2018
    Status:
    Opublikowane