Automata

Results: 1989



#Item
511

Verification of Requirement Specifications Using Counter Automata K Vasanta Lakshmi K V Raghavan

Add to Reading List

Source URL: www.cmi.ac.in

Language: English - Date: 2010-12-23 06:54:35
    512

    Informatique Fondamentale IMA S8 Cours 2 - Stack automata + Grammars Laure Gonnord http://laure.gonnord.org/pro/teaching/ Université Lille 1 - Polytech Lille

    Add to Reading List

    Source URL: laure.gonnord.org

    Language: English - Date: 2011-03-16 11:09:53
      513

      Informatique Fondamentale IMA S8 Cours 3: Counter automata, Turing Machines and decidable problems Laure Gonnord http://laure.gonnord.org/pro/teaching/

      Add to Reading List

      Source URL: laure.gonnord.org

      Language: English - Date: 2011-03-27 06:32:13
        514

        6.045J Automata, Computability, and Complexity, Problem Set 4

        Add to Reading List

        Source URL: ocw.mit.edu

        Language: English - Date: 2015-05-24 22:10:44
          515

          Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata Jacques Duparc1 , Alessandro Facchini1,2? , and Filip Murlak3?? 1

          Add to Reading List

          Source URL: www.mimuw.edu.pl

          Language: English - Date: 2009-12-02 05:39:41
            516

            JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version

            Add to Reading List

            Source URL: mirror.easyname.at

            Language: English - Date: 2014-07-22 07:31:56
              517

              A note on two-pebble automata over infinite alphabets Michael Kaminski Tony Tan Department of Computer Science Technion – Israel Institute of Technology Haifa 32000

              Add to Reading List

              Source URL: alpha.uhasselt.be

              Language: English - Date: 2013-09-27 07:35:34
                518

                Pushdown Automata in Statistical Machine Translation Cyril Allauzen∗ Bill Byrne∗∗

                Add to Reading List

                Source URL: mi.eng.cam.ac.uk

                Language: English - Date: 2013-12-22 07:59:47
                  519

                  Using variable automata for querying data graphs Domagoj Vrgoˇc University of Edinburgh and PUC Chile Vicuna Mackenna 4860, Edificio San Agustin, Macul, Santiago, Chile

                  Add to Reading List

                  Source URL: homepages.inf.ed.ac.uk

                  Language: English - Date: 2014-11-24 19:08:19
                    520

                    JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version

                    Add to Reading List

                    Source URL: ftp.yzu.edu.tw

                    Language: English - Date: 2014-07-22 07:31:56
                      UPDATE