On a method for proving exact bounds on derivational complexity in Thue systems (Q1938620)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On a method for proving exact bounds on derivational complexity in Thue systems
scientific article

    Statements

    On a method for proving exact bounds on derivational complexity in Thue systems (English)
    0 references
    0 references
    22 February 2013
    0 references
    word rewriting system
    0 references
    derivational complexity
    0 references
    Thue system
    0 references
    polynomial upper bound
    0 references
    left (right) divisibility of a word
    0 references

    Identifiers