Results 11 to 20 of about 2,393,512 (361)

A Component-Based Formal Language Workbench [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2019
The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj   +2 more sources

Hyperbolic tilings and formal language theory [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2013
In this paper, we try to give the appropriate class of languages to which belong various objects associated with tessellations in the hyperbolic plane.Comment: In Proceedings MCU 2013, arXiv:1309 ...
Margenstern, Maurice, Subramamian, K. G.
core   +3 more sources

The dimension of a formal language

open access: bronzeInformation and Control, 1975
A connection is established between formal language theory and mathematical analysis by associating the symbols of strings of a language with the digits of expansions of points in the unit interval. A language is made to correspond to a particular subset of the unit interval, and the dimension of a language is defined as the Hausdorff dimension of this
William M. Conner
openaire   +3 more sources

Analogy and Formal Languages

open access: goldElectronic Notes in Theoretical Computer Science, 2004
AbstractIn this paper, we advocate a study of analogies between strings of symbols for their own sake. We show how some sets of strings, i.e., some formal languages, may be characterized by use of analogies. We argue that some preliminary “good properties” obtained may plead in favour of the use of analogy in the study of formal languages in ...
Yves Lepage
openaire   +3 more sources

Formal language assessment in low-educated healthy subjects. [PDF]

open access: yesDement Neuropsychol, 2018
Although many studies have shown the influence of education on cognition, the impact of low education on the various cognitive functions appears to differ.
Akashi DA, Ortiz KZ.
europepmc   +2 more sources

The Subjunctive as a Model of Grammatical Complexity: An Integrative Review of Issues Based on Combined Evidence from Mental Chronometry and Neurosciences

open access: yesBrain Sciences, 2023
The acquisition of a second language requires the construction or reconstruction of linguistic knowledge about the new language system. Learners of a second language have to acquire the linguistic structures of the second language by constructing or ...
Daniel Grégoire Grevisse   +2 more
doaj   +1 more source

Locality and Intervention in the Acquisition of Greek Relative Clauses

open access: yesLanguages, 2022
According to the most recent formulation of Relativized Minimality, grammatical features are distinguished between those that are syntactically active and those that are not.
Nikos Angelopoulos   +2 more
doaj   +1 more source

Promoting Mathematical Literacy using Desmos Polygraph

open access: yesSoutheast Asian Mathematics Education Journal, 2023
Language plays a fundamental role in the teaching and learning of mathematics. Students rely on their literacy skills to comprehend problem-solving situations before applying their mathematical knowledge.
Faradillah Haryani, Yola Yaneta Harso
doaj   +1 more source

Formal Semantics of the CHART Transformation Language [PDF]

open access: yes, 2011
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples an a relation. Many database languages and systems do require multi-set semantics though, either because of functional requirements or because of the high costs
Mol, Maarten de, Rensink, Arend
core   +13 more sources

Some undecidable problems about the trace-subshift associated to a Turing machine [PDF]

open access: yesDiscrete Mathematics & Theoretical Computer Science, 2015
We consider three problems related to dynamics of one-tape Turing machines: Existence of blocking configurations, surjectivity in the trace, and entropy positiveness. In order to address them, a reversible two-counter machine is simulated by a reversible
Anahí Gajardo   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy