Results 41 to 50 of about 2,322,283 (342)

Formal languages and enumeration

Journal of Combinatorial Theory, Series A, 1978
AbstractWe present a theory of generating functions in countably many non-commuting variables. This generalizes the theory of context free languages. Applications are given to compositions of a number, rooted planar tree, dissected polygons, and the theory of simple random walks.
openaire   +2 more sources

Formal Model Engineering for Embedded Systems Using Real-Time Maude

, 2011
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat, A. Boronat, A. Boronat, A. Boronat, A. Cerone, E. Lien, F. Wang, Francisco Durán, J. E. Rivera, J. E. Rivera, J. Eker, J. Meseguer, J. Srba, K. Bae, K. Bae, M. AlTurki, M. Clavel, M. Katelman, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, R. Alur, S. P. Miller, Vlad Rusu   +27 more
core   +2 more sources

Double cosets in free groups [PDF]

, 2013
In this paper we study double cosets of finite rank free groups. We focus our attention on cancellation types in double cosets and their formal language properties.Comment: Minor ...
Frenkel, Elizaveta, Remeslennikov, Vladimir N.   +1 more
core   +1 more source

Cross-language variation in the acceptability of vowelless nonwords

Frontiers in Communication
This study examines the acceptability of voweled and vowelless nonwords produced by a native speaker of Tashlhiyt (a Moroccan Amazigh language) across listeners from five different language groups: L1 Tashlhiyt, L1 Tarifit, L1 Moroccan Arabic, L1 English,
Georgia Zellou, Mohamed Afkir, Mohamed Lahrouchi, Karim Bensoukas   +3 more
doaj   +1 more source

Finite Systems Handling Language (YAFOLL message 1)

Studia Humana, 2015
The concept a finite multi-carrier algebraic system (FMAS) as well as a language for handling systems such as YAFOLL (Yet Another First Order Logic Language) are introduced.
Shkotin Alex
doaj   +1 more source

Oralidade e discurso jornalístico

Filologia e Linguística Portuguesa, 1999
The purpose of this papers is to observe how the oralidade is present in the written speech, falling back upon the journalistic language, much more receptive to those transformations and exemplifying with picked up texts of the newspapers Folha de S ...
Maria Lúcia da Cunha Victório de Oliveira Andrade
doaj   +1 more source

Unique decipherability in formal languages [PDF]

Theoretical Computer Science, 2020
We consider several language-theoretic aspects of various notions of unique decipherability (or unique factorization) in formal languages. Given a language L at some position within the Chomsky hierarchy, we investigate the language of words UD(L) in L∗ that have unique factorization over L.
Jeffrey Shallit, Paul C. Bell, Daniel Reidenbach   +2 more
openaire   +3 more sources

An Abstract Formal Basis for Digital Crowds [PDF]

, 2014
Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large number of people that access a single Internet platform or shared service.
Dennis, Louise A., Fisher, Michael, Slavkovik, Marija   +2 more
core   +2 more sources

High-level methodologies for grammar engineering, introduction to the special issue

Journal of Language Modelling, 2015
Grammar Engineering is the task of designing and implementing linguistically motivated electronic descriptions of natural language (so-called grammars).
Denys Duchier, Yannick Parmentier
doaj   +1 more source

Towards automatic Maude specifications generation from C functions

Journal of Innovation Information Technology and Application, 2023
In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj   +1 more source