Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties (Q2974059)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties
scientific article

    Statements

    Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    6 April 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Fibonacci sequence
    0 references
    Fibonacci-automatic word
    0 references
    Fibonacci word
    0 references
    Fibonacci representation
    0 references
    Zeckendorf-representation
    0 references
    finite automaton
    0 references
    square
    0 references
    cube
    0 references
    abelian square
    0 references
    abelian cube
    0 references
    decidability
    0 references
    decision procedure
    0 references
    subword complexity
    0 references
    Fibonacci-regular sequence
    0 references
    maximal repetition
    0 references
    synchronized automaton
    0 references
    balanced word
    0 references
    first-order logic
    0 references
    0 references