Essays about: "decidability"

Found 4 essays containing the word decidability.

1. 1. Language Theoretic Properties of Graph Extension Languages : An Investigation of Graph Extension Grammars with Context Matching and Logic

   University essay from Umeå universitet/Institutionen för datavetenskap

   Author : Yannick Stade; [2022]
   Keywords : graph language; formal language; theoretical computer science;

   Abstract : Graph extension grammars provide a way to define graph languages. They consist of a regular tree grammar and an algebra. The regular tree grammar generates trees, so-called derivation trees. Those are evaluated by the algebra into a set of graphs. READ MORE

3. 2. Formalizing Constructive Quantifier Elimination in Agda

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Jeremy Pope; [2018-04-04]
   Keywords : Agda; decidability; semantics; successor; constructive;

   Abstract : In this thesis a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow [16]. The formalization is implemented and verified in the programming language/proof assistant Agda [1]. READ MORE

4. 3. λ-Calculus and Decidability

   University essay from Uppsala universitet/Algebra och geometri

   Author : Erik Larsson; [2017]
   Keywords : ;

   Abstract : .... READ MORE

5. 4. DAG Automata - Variants, Languages and Properties

   University essay from Umeå universitet/Institutionen för datavetenskap

   Author : Johannes Blum; [2015]
   Keywords : ;

   Abstract : We study final-state automata that work on directed acyclic graphs (DAGs). We consider ordered and unordered DAGs and show that they can be simulated by each other. Then we show that deterministic DAG automata are weaker then nondeterministic automata. READ MORE