Automata

Results: 1989



#Item
521

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

Add to Reading List

Source URL: ocw.mit.edu

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

    Bisimilarity of Pushdown Automata is Nonelementary Michael Benedikt Stefan G¨oller

    Add to Reading List

    Source URL: www.informatik.uni-bremen.de

    Language: English - Date: 2013-06-01 16:46:28
      523

      BRICS RS-07-2 Aceto & Ing´olfsd´ottir: Characteristic Formulae: From Automata to Logic BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2007-01-18 02:32:43
        524

        ABSTRACTS-YEAR 2001 DISSERTATION COMPUTER SCIENCE Diss CS-01-1 CELLULAR AUTOMATA FOR EDGE DETECTION Sartra Wongthanavasu

        Add to Reading List

        Source URL: www.cs.ait.ac.th

        Language: English - Date: 2005-07-11 03:56:31
          525

          Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization ∗ Marcelo Arenas Departamento de Ciencia de la Computaci´on Pontificia Universidad Cat´olica de Chile

          Add to Reading List

          Source URL: users.dcc.uchile.cl

          Language: English - Date: 2010-08-31 20:05:46
            526

            An Automata-Theoretic Approach to Regular XPath? Diego Calvanese1 , Giuseppe De Giacomo2 , Maurizio Lenzerini2 , and Moshe Y. Vardi3 1 2

            Add to Reading List

            Source URL: www.cs.rice.edu

            Language: English - Date: 2009-06-18 06:30:06
              527

              Reasoning about XML with Temporal Logics and Automata Leonid Libkin1 and Cristina Sirangelo1,2 1 2

              Add to Reading List

              Source URL: www.sirangelo.info

              Language: English - Date: 2008-09-19 09:19:48
                528

                Logic and Automata, Homework 2 • (2 marks) Write an MSO formula φ(X1 , . . . , Xn ) saying that a run of an automaton over ωwords given by X1 , . . . , Xn (i.e., Xi is the set of positions in which the run in the st

                Add to Reading List

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

                - Date: 2010-11-04 11:16:27
                  529

                  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: ctan.mirror.ac.za

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

                    RICE UNIVERSITY Experimental Evaluation of Explicit and Symbolic Automata-Theoretic Algorithms by Deian Tabakov A THESIS SUBMITTED

                    Add to Reading List

                    Source URL: www.cs.rice.edu

                    Language: English - Date: 2010-10-21 14:11:52
                      UPDATE