Sökning: "undecidable"

Visar resultat 1 - 5 av 18 avhandlingar innehållade ordet undecidable.

  1. 1. The void : Urban wasteland as political space

    Författare :CECILIA VON SCHÉELE; Statsvetenskapliga institutionen; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; urban void; urban wasteland; urban planning; urban politics; space; rhythm; undecidable; montage; Derrida; Massey;

    Sammanfattning : The rugged field and group of trees between housing estates or next to the railroad tracks, the left-over space of deserted industrial areas, the vacant demolition site of a central city block – they could all be termed ‘urban voids’. However, they are often anything but voids, in a literal sense, as they are not empty, or deserted. LÄS MER

  3. 2. Impartial Games and Recursive Functions

    Författare :Urban Larsson; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Algorithmically undecidable; Beatty sequences; Blocking maneuver; Cellular automaton; Comply maneuver; Complementary sequences; Dictionary process; Dual game; Game complexity; Game convergence; Game reflexivity; Heap game; Impartial game; Invariant subtraction game; Move-size dynamic; Nim; P-equivalence; Rule 110; Splitting sequences; *-operator; Subtraction game; Take-away game; Turing complete; Wythoff Nim; Turing complete;

    Sammanfattning : Interest in 2-player impartial games often concerns the famous theory of Sprague-Grundy. In this thesis we study other aspects, bridging some gaps between combinatorial number theory, computer science and combinatorial games. LÄS MER

  4. 3. In the Company of Ghosts : Hauntology, Ethics, Digital Monsters

    Författare :Line Henriksen; Margrit Shildrick; Nina Lykke; Jeffrey Andrew Weinstock; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Hauntology; monster; ghost; spectralities; Monster Studies; feminist theory; ethics; digital media; internet; Welcome to Night Vale; Mushroom Land TV; creepypasta; Hauntologi; monster; spöke; spectralities; monster studier; feministisk teori; etik; digitala medier; internet; Welcome to Night Vale; Mushroom Land TV; creepypasta;

    Sammanfattning : This thesis explores French philosopher Jacques Derrida’s ’hauntology’ through the lens of digital monsters and feminist theory.Hauntology – a pun on ‘ontology’ and ‘haunting’ – offers an ethics based on responsibility towards that which cannot be said to fully exist, yet has an effect on our everyday lives nonetheless. LÄS MER

  5. 4. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

    Författare :Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
    Nyckelord :Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

    Sammanfattning : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). LÄS MER

  7. 5. Expressivity and Complexity of the Grammatical Framework

    Författare :Peter Ljunglöf; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Grammatical Framework; generalized context-free grammar; multiple context-free grammar; context-free rewriting systems; type theory; expressive power; abstract syntax; linearization; parsing; context-free rewriting systems;

    Sammanfattning : This thesis investigates the expressive power and parsing complexity of the Grammatical Framework (GF), a formalism originally designed for displaying formal propositions and proofs in natural language. This is done by relating GF with two more well-known grammar formalisms; Generalized Context-Free Grammar (GCFG), best seen as a framework for describing various grammar formalisms; and Parallel Multiple Context-Free Grammar (PMCFG), an instance of GCFG. LÄS MER