Results 21 to 30 of about 503 (42)
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory ...
core +1 more source
Presentations for subsemigroups of groups [PDF]
This thesis studies subsemigroups of groups from three perspectives: automatic structures, ordinary semigroup presentations, and Malcev presentaions. [A Malcev presentation is a presentation of a special type for a semigroup that can be embedded into a ...
Cain, Alan James
core
Preliminares al estudio de la huella en lingüística [PDF]
El presente documento constituye un breve avance de una obra en curso mucho más larga y más detallada sobre el concepto de “huella” en la teoría lingüística contemporánea, particularmente en la sintaxis. Se cree, por lo común, que la idea fue acuñada por
Javier Arias
core +2 more sources
Towards an Effective Theory of Reformulation [PDF]
This paper describes an investigation into the structure of representations of sets of actions, utilizing semigroup theory. The goals of this project are twofold: to shed light on the relationship between tasks and representations, leading to a ...
Benjamin, D. Paul
core +1 more source
Languages Generated by Iterated Idempotencies. [PDF]
The rewrite relation with parameters m and n and with the possible length limit = k or :::; k we denote by w~, =kW~· or ::;kw~ respectively. The idempotency languages generated from a starting word w by the respective operations are wDAlso other special ...
Leupold, Klaus-Peter
core +2 more sources
Multioperator Weighted Monadic Datalog [PDF]
In this thesis we will introduce multioperator weighted monadic datalog (mwmd), a formal model for specifying tree series, tree transformations, and tree languages.
Stüber, Torsten
core +1 more source
Crisp-determinization of weighted tree automata over strong bimonoids [PDF]
Fülöp Zoltán +2 more
core +1 more source
Doctoral Programs: Physics and Astronomy : Biology : Chemistry : Mathematics and Mechanics : Computer and Information Sciences : Computer Science and Engineering [PDF]
core
The Illusion of State in State-Space Models
State-space models (SSMs) have emerged as a potential alternative architecture for building large language models (LLMs) compared to the previously ubiquitous transformer architecture.
Merrill, William +2 more
core

