Complexity of Checking Whether Two Automata Are Synchronized by the Same Language

Результат исследований: Глава в книге, отчете, сборнике статейМатериалы конференцииНаучно-исследовательскаярецензирование

4 Цитирования (Scopus)
Язык оригиналаАнглийский
Название основной публикацииDESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014
РедакторыH Jurgensen, J Karhumaki, A Okhotin
ИздательSpringer Verlag
Страницы306-317
Число страниц12
Том8614 LNCS
ISBN (печатное издание)978-3-319-09703-9
DOI
СостояниеОпубликовано - 2014
Событие16th International Workshop Descriptional Complexity of Formal Systems (DCFS) - Turku, Финляндия
Продолжительность: 5 авг 20148 авг 2014

Серия публикаций

НазваниеLecture Notes in Computer Science
ИздательSPRINGER-VERLAG BERLIN
Том8614
ISSN (печатное издание)0302-9743

Конференция

Конференция16th International Workshop Descriptional Complexity of Formal Systems (DCFS)
СтранаФинляндия
Период05/08/201408/08/2014

Отпечаток

Automata
Deterministic Finite Automata
Language

Ключевые слова

    Предметные области ASJC Scopus

    • Computer Science(all)
    • Theoretical Computer Science

    Предметные области WoS

    • Компьютерные науки, Теория и методы
    • Технологии, Электро и электронные

    Цитировать

    Maslennikova, M. (2014). Complexity of Checking Whether Two Automata Are Synchronized by the Same Language. В H. Jurgensen, J. Karhumaki, & A. Okhotin (Ред.), DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014 (Том 8614 LNCS, стр. 306-317). (Lecture Notes in Computer Science; Том 8614). Springer Verlag. https://doi.org/10.1007/978-3-319-09704-6_27
    Maslennikova, Marina. / Complexity of Checking Whether Two Automata Are Synchronized by the Same Language. DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014. редактор / H Jurgensen ; J Karhumaki ; A Okhotin. Том 8614 LNCS Springer Verlag, 2014. стр. 306-317 (Lecture Notes in Computer Science).
    @inproceedings{4a0afc97f0054fc2bf510df6b234ac5c,
    title = "Complexity of Checking Whether Two Automata Are Synchronized by the Same Language",
    keywords = "ideal language, PSPACE-completeness, reset complexity, reset word, synchronizing automaton",
    author = "Marina Maslennikova",
    year = "2014",
    doi = "10.1007/978-3-319-09704-6_27",
    language = "English",
    isbn = "978-3-319-09703-9",
    volume = "8614 LNCS",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer Verlag",
    pages = "306--317",
    editor = "H Jurgensen and J Karhumaki and A Okhotin",
    booktitle = "DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014",
    address = "Germany",

    }

    Maslennikova, M 2014, Complexity of Checking Whether Two Automata Are Synchronized by the Same Language. в H Jurgensen, J Karhumaki & A Okhotin (ред.), DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014. том. 8614 LNCS, Lecture Notes in Computer Science, том. 8614, Springer Verlag, стр. 306-317, 16th International Workshop Descriptional Complexity of Formal Systems (DCFS), Финляндия, 05/08/2014. https://doi.org/10.1007/978-3-319-09704-6_27

    Complexity of Checking Whether Two Automata Are Synchronized by the Same Language. / Maslennikova, Marina.

    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014. ред. / H Jurgensen; J Karhumaki; A Okhotin. Том 8614 LNCS Springer Verlag, 2014. стр. 306-317 (Lecture Notes in Computer Science; Том 8614).

    Результат исследований: Глава в книге, отчете, сборнике статейМатериалы конференцииНаучно-исследовательскаярецензирование

    TY - GEN

    T1 - Complexity of Checking Whether Two Automata Are Synchronized by the Same Language

    AU - Maslennikova, Marina

    PY - 2014

    Y1 - 2014

    KW - ideal language

    KW - PSPACE-completeness

    KW - reset complexity

    KW - reset word

    KW - synchronizing automaton

    UR - http://www.scopus.com/inward/record.url?scp=84905392482&partnerID=8YFLogxK

    UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000343868700027

    U2 - 10.1007/978-3-319-09704-6_27

    DO - 10.1007/978-3-319-09704-6_27

    M3 - Conference contribution

    SN - 978-3-319-09703-9

    VL - 8614 LNCS

    T3 - Lecture Notes in Computer Science

    SP - 306

    EP - 317

    BT - DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014

    A2 - Jurgensen, H

    A2 - Karhumaki, J

    A2 - Okhotin, A

    PB - Springer Verlag

    ER -

    Maslennikova M. Complexity of Checking Whether Two Automata Are Synchronized by the Same Language. В Jurgensen H, Karhumaki J, Okhotin A, редакторы, DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2014. Том 8614 LNCS. Springer Verlag. 2014. стр. 306-317. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-09704-6_27