FreeST: Context-free Session Types in a Functional Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 FreeST is an experimental concurrent programming language. Based on a core linear functional programming language, it features primitives to fork new threads, and for channel creation and communication.
Bernardo Almeida +2 more
doaj +1 more source
Permutations of context-free, ET0L and indexed languages [PDF]
Discrete Mathematics & Theoretical Computer Science, 2016 For a language $L$, we consider its cyclic closure, and more generally the language $C^{k}(L)$, which consists of all words obtained by partitioning words from $L$ into $k$ factors and permuting them. We prove that the classes of ET0L and EDT0L languages
Tara Brough +3 more
doaj +1 more source
Developing JSequitur to Study the Hierarchical Structure of Biological Sequences in a Grammatical Inference Framework of String Compression Algorithms [PDF]
Genomics & Informatics, 2012 Grammatical inference methods are expected to find grammatical structures hidden in biological sequences. One hopes that studies of grammar serve as an appropriate tool for theory formation.
Bulgan Galbadrakh +2 more
doaj +1 more source
Dissecting power of intersection of two context-free languages [PDF]
Discrete Mathematics & Theoretical Computer Science, 2023 We say that a language $L$ is \emph{constantly growing} if there is a constant $c$ such that for every word $u\in L$ there is a word $v\in L$ with $\vert u\vert<\vert v\vert\leq c+\vert u\vert$.
Josef Rukavicka
doaj +1 more source
Undecidable problems concerning densities of languages [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 In this paper we prove that the question whether a language presented by a context free grammar has density, is undecidable. Moreover we show that there is no algorithm which, given two unambiguous context free grammars on input, decides whether the ...
Jakub Kozik
doaj +1 more source
Superregular grammars do not provide additional explanatory power but allow for a compact analysis of animal song [PDF]
Royal Society Open Science, 2019 A pervasive belief with regard to the differences between human language and animal vocal sequences (song) is that they belong to different classes of computational complexity, with animal song belonging to regular languages, whereas human language is ...
T. Morita, H. Koda
doaj +1 more source
Enhancing argumentation component classification using contextual language model
Journal of Big Data, 2021 Arguments facilitate humans to deliver their ideas. The outcome of the discussion heavily relies on the validity of the argument. If an argument is well-composed, it is more effective to grasp the core idea behind the argument.
Hidayaturrahman +3 more
doaj +1 more source
3D Avatar Approach for Continuous Sign Movement Using Speech/Text
Applied Sciences, 2021 Sign language is a visual language for communication used by hearing-impaired people with the help of hand and finger movements. Indian Sign Language (ISL) is a well-developed and standard way of communication for hearing-impaired people living in India.
Debashis Das Chakladar +5 more
doaj +1 more source
Free direct and free indirect speech in the novel 'De bello civili' by Svetislav Basara and their translation equivalents in English [PDF]
Baština, 2022 Most of the research studies on the translation equivalents of the direct and indirect speech were dealing with translations from English to Serbian language. In this paper, we investigate whether structural and/or stylistic movements occur when the free
Rajović Jelena D., Vešović Marija D.
doaj +1 more source
Authenticity of Identity and Second Language Learning
SAGE Open, 2021 This article focuses on authenticity of second language identity which has been at issue. Previous research of the authenticity of second language identity has revealed that second language identity may be inauthentic due to the impact from social ...
Ying Wang
doaj +1 more source