Search results for "TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES"
showing 10 items of 174 documents
Grammar is the heart of language : grammar and its role in language learning among Finnish university students
2015
This article presents and discusses views on grammar and its role in formal language learning amongst Finnish university students. The results are based on a questionnaire which was distributed to students at the University of Jyväskylä as part of institutional action research. The background to the project was a feeling amongst some teachers of increased divergence between student respectively language teacher understandings of the role of grammar in language teaching. This concern raised the need to find out how students view grammar. The knowledge about thoughts on grammar amongst students would then help teachers to adjust and adept the way grammar is used in language teaching. The main…
Iterative pairs and multitape automata
1996
In this paper we prove that if every iterative k-tuple of a language L recognized by a k-tape automaton is very degenerate, then L is recognizable. Moreover, we prove that if L is an aperiodic langnage recognized by a deterministic k-tape automaton, then L is recognizable.
Onset of Convection in an Inclined Anisotropic Porous Layer with Internal Heat Generation
2019
The onset of convection in an inclined porous layer which is heated internally by a uniform distribution of heat sources is considered. We investigate the combined effects of inclination, anisotropy and internal heat generation on the linear instability of the basic parallel flow. When the Rayleigh number is sufficiently large, instability occurs and a convective motion is set up. It turns out that the preferred motion at convection onset depends quite strongly on the anisotropy ratio, &xi
Seernes opplevelse av nettbaserte gudstjenester
2021
Author's accepted manuscript. When the corona pandemic became a fact, many parishes within the Church of Norway chose to start video streaming of services as a substitute for gatherings in the church. This article is based on a survey done among viewers of these broadcasts and sheds light on how online worship services were received. The findings from the survey show that the viewers value recognizability and authenticity, but at the same time expect the service to be adapted to the medium since the situation of viewing on a screen is quite different from being in a church.
A classroom intervention on Spanish grammar and writing: the use of the past tense with secondary school students / La intervención didáctica en el a…
2015
AbstractThis article presents an innovative experience which links grammar teaching with writing, following the premises of the Grammar Didactic Sequences (GDS) with one basic objective: to create a situation in which students learn to reflect on the language they use and are able to use these reflections to improve their writing. The GDS, focused on the use of past tense verb forms, was carried out with fourth-year secondary school students in Spain. This article highlights the difficulties experienced by students when using grammatical concepts as elements to control usage and the importance of revising texts in order to create metalinguistic awareness in a recursive didactic process: fro…
A generalized integration formula for indefinite integrals of special functions
2020
An integration formula for generating indefinite integrals which was presented in Conway JT [A Lagrangian method for deriving new indefinite integrals of special functions. Integral Transforms Spec...
What a Friend We Have in Facebook : Norwegian Christian Churches’ Use of Social Media
2021
This study examines how Christian churches in Norway use social media. The key finding is that the churches do not take extensive advantage of the opportunities for two-way communication offered by the platforms, but primarily use their social media channels to promote church activities or broadcast content without inviting a dialogue. Based on the churches’ own stated appreciation for building relationships, as well as existing research from media and communication studies, media and religion studies, and studies within strategic communication, this article argues for a stronger focus on the ritual and relational aspects of online communication from the church organizations. Pais Open Acce…
On the weight distribution of perfect binary codes
2021
In this paper, we give a new proof of the closed-form formula for the weight distribution of a perfect binary single-error-correcting code.
Algorithmic Information Theory and Computational Complexity
2013
We present examples where theorems on complexity of computation are proved using methods in algorithmic information theory. The first example is a non-effective construction of a language for which the size of any deterministic finite automaton exceeds the size of a probabilistic finite automaton with a bounded error exponentially. The second example refers to frequency computation. Frequency computation was introduced by Rose and McNaughton in early sixties and developed by Trakhtenbrot, Kinber, Degtev, Wechsung, Hinrichs and others. A transducer is a finite-state automaton with an input and an output. We consider the possibilities of probabilistic and frequency transducers and prove sever…
On the Hierarchy Classes of Finite Ultrametric Automata
2015
This paper explores the language classes that arise with respect to the head count of a finite ultrametric automaton. First we prove that in the one-way setting there is a language that can be recognized by a one-head ultrametric finite automaton and cannot be recognized by any k-head non-deterministic finite automaton. Then we prove that in the two-way setting the class of languages recognized by ultrametric finite k-head automata is a proper subclass of the class of languages recognized by (k + 1)-head automata. Ultrametric finite automata are similar to probabilistic and quantum automata and have only just recently been introduced by Freivalds. We introduce ultrametric Turing machines an…