Sciweavers

    DLT
    2008
    65views Theoretical Computer Science» more  DLT 2008»
    Universal Recursively Enumerable Sets of Strings
    13 years 9 months ago
    Universal Recursively Enumerable Sets of Strings
    Download  www.cs.auckland.ac.nz
    The present work clarifies the relation between domains of universal machines and r.e. prefix-free supersets of such sets. One such characterisation can be obtained in terms of the...
    Cristian S. Calude, André Nies, Ludwig Stai...
    claim paper
    Read More »
    DLT
    2008
    90views Theoretical Computer Science» more  DLT 2008»
    Relationally Periodic Sequences and Subword Complexity
    13 years 9 months ago
    Relationally Periodic Sequences and Subword Complexity
    Download  www.math.ru.is
    By the famous theorem of Morse and Hedlund, a word is ultimately periodic if and only if it has bounded subword complexity, i.e., for sufficiently large n, the number of factors of...
    Julien Cassaigne, Tomi Kärki, Luca Q. Zamboni
    claim paper
    Read More »
    DLT
    2008
    106views Theoretical Computer Science» more  DLT 2008»
    Hierarchies of Piecewise Testable Languages
    13 years 9 months ago
    Hierarchies of Piecewise Testable Languages
    Download  www.math.muni.cz
    The classes of languages which are boolean combinations of languages of the form A a1A a2A . . . A a A , where a1, . . . , a A, k , for a fixed k 0, form a natural hierarchy wit...
    Ondrej Klíma, Libor Polák
    claim paper
    Read More »
    DLT
    2008
    97views Theoretical Computer Science» more  DLT 2008»
    An Analysis and a Reproof of Hmelevskii's Theorem
    13 years 9 months ago
    An Analysis and a Reproof of Hmelevskii's Theorem
    Download  users.utu.fi
    Juhani Karhumäki, Aleksi Saarela
    claim paper
    Read More »
    DLT
    2008
    71views Theoretical Computer Science» more  DLT 2008»
    Algorithmically Independent Sequences
    13 years 9 months ago
    Algorithmically Independent Sequences
    Download  triton.towson.edu
    Cristian S. Calude, Marius Zimand
    claim paper
    Read More »
    DLT
    2008
    84views Theoretical Computer Science» more  DLT 2008»
    General Algorithms for Testing the Ambiguity of Finite Automata
    13 years 9 months ago
    General Algorithms for Testing the Ambiguity of Finite Automata
    Download  www.cs.nyu.edu
    Cyril Allauzen, Mehryar Mohri, Ashish Rastogi
    claim paper
    Read More »
    DLT
    2008
    65views Theoretical Computer Science» more  DLT 2008»
    The Frobenius Problem and Its Generalizations
    13 years 9 months ago
    The Frobenius Problem and Its Generalizations
    Download  www.cs.uwaterloo.ca
    Jeffrey Shallit
    claim paper
    Read More »
    DLT
    2008
    125views Theoretical Computer Science» more  DLT 2008»
    Tree Automata with Global Constraints
    13 years 9 months ago
    Tree Automata with Global Constraints
    Download  hal.inria.fr
    A tree automaton with global tree equality and disequality constraints, TAGED for short, is an automaton on trees which allows to test (dis)equalities between subtrees which may be...
    Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
    claim paper
    Read More »
    DLT
    2008
    96views Theoretical Computer Science» more  DLT 2008»
    Provably Shorter Regular Expressions from Deterministic Finite Automata
    13 years 9 months ago
    Provably Shorter Regular Expressions from Deterministic Finite Automata
    Download  www.informatik.uni-giessen.de
    Hermann Gruber, Markus Holzer
    claim paper
    Read More »
    DLT
    2007
    108views Theoretical Computer Science» more  DLT 2007»
    Duplication Roots
    13 years 9 months ago
    Duplication Roots
    Download  www.wortspieler.org
    Recently the duplication closure of words and languages has received much interest. We investigate a reversal of it: the duplication root reduces a word to a square-free one. After...
    Peter Leupold
    claim paper
    Read More »
    « first‹ previous…134135136137138139140141142…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.