Search results for "Formal language"

Representation of Autonomous Automata

2001

An autonomous automaton is a finite automaton with output in which the input alphabet has cardinality one when special reduced. We define the transition from automata to semigroups via a representation successful if given two incomparable automata (neither simulate the other), the semigroups representing the automata are distinct. We show that representation by the transition semigroup is not successful. We then consider a representation of automata by semigroups of partial transformations. We show that in general transition from automata to semigroups by this representation is not successful either. In fact, the only successful transition presented is the transiton to this semigroup of par…

Minimal Forbidden Factors of Circular Words

2017

Minimal forbidden factors are a useful tool for investigating properties of words and languages. Two factorial languages are distinct if and only if they have different (antifactorial) sets of minimal forbidden factors. There exist algorithms for computing the minimal forbidden factors of a word, as well as of a regular factorial language. Conversely, Crochemore et al. [IPL, 1998] gave an algorithm that, given the trie recognizing a finite antifactorial language M, computes a DFA of the language having M as set of minimal forbidden factors. In the same paper, they showed that the obtained DFA is minimal if the input trie recognizes the minimal forbidden factors of a single word. We gener…

Self-employment transitions and alternation in Finnish rural and urban labour markets

2008

.  This paper deals with the transitions and alternation between self-employment, paid-employment and non-employment in Finland in 1987–1999, paying special attention to differences in self-employment dynamics between areas characterized by different labour market conditions, viz. rural and urban locations. Markovian analysis reveals significant differences by the type of area in the processes of transition between the three labour market states. Alternation between self-employment and other labour markets states turns out to be greater in rural than urban areas. Five major types of alternating working careers are identified. The type of area is importantly related to alternating working ca…

Vertical representation of C∞-words

2015

We present a new framework for dealing with C ∞ -words, based on their left and right frontiers. This allows us to give a compact representation of them, and to describe the set of C ∞ -words through an infinite directed acyclic graph G. This graph is defined by a map acting on the frontiers of C ∞ -words. We show that this map can be defined recursively and with no explicit reference to C ∞ -words. We then show that some important conjectures on C ∞ -words follow from analogous statements on the structure of the graph G.

Photoreceptors, lightness constancy and color vision.

1986

Mapping wordnets from the perspective of inter-lingual equivalence

2017

Mapping wordnets from the perspective of inter-lingual equivalence This paper explores inter-lingual equivalence from the perspective of linking two large lexico-semantic databases, namely the Princeton WordNet of English and the plWordnet ( pl. Slowosiec ) of Polish. Wordnets are built as networks of lexico-semantic relations between words and their meanings, and constitute a type of monolingual dictionary cum thesaurus. The development of wordnets for different languages has given rise to many wordnet linking projects (e.g. EuroWordNet, Vossen, 2002). Regardless of a linking method used, these projects require defining rules for establishing equivalence links between wordnet building bloc…

Contrasting the form and use of reformulation markers

2007

This article deals with the form and use of reformulation markers in research papers written in English, Spanish and Catalan. Considering the form and frequency of the markers, English papers tend to prefer simple fixed markers and include fewer reformulators than Spanish and Catalan. On the contrary, formal Catalan and Spanish papers include more markers, some of which are complex and allow for some structural variability. As for use, reformulation markers establish dynamic relationships between portions of discourse which can be identified in our corpus with expansion, reduction and permutation. The analysis of the corpus shows that English authors usually reformulate to add more informa…

A quantitative survey of N Prep N constructions in Romance languages and prepositional variability

2018

The distinction between syntagmatic compounds of the type N Prep N, such as Fr. jouet d’enfant, and nominal syntagms of the type N Prep N, such as the partially equivalent Fr. jouet pour enfants, remains unclear and vague. This is mainly because the lexical and syntactic status of syntagmatic compounds still is controversial. In some cases, as in jouet d’enfant and jouet pour enfants, partial equivalent syntagmatic compounds and nominal syntagms may coexist and underlie a specific variation and alternation. In other cases, such as Pt. bracelete de aço and bracelete em aço, two variants of a syntagmatic compound may alternate and coexist. The first part of this paper provides an overview of …

A differential equation approach to implicit sweeping processes

2019

International audience; In this paper, we study an implicit version of the sweeping process. Based on methods of convex analysis, we prove the equivalence of the implicit sweeping process with a differential equation, which enables us to show the existence and uniqueness of the solution to the implicit sweeping process in a very general framework. Moreover, this equivalence allows us to give a characterization of nonsmooth Lyapunov pairs and invariance for implicit sweeping processes. The results of the paper are illustrated with two applications to quasistatic evolution variational inequalities and electrical circuits.

Semantic Word Error Rate for Sentence Similarity

2016

Sentence similarity measures have applications in several tasks, including: Machine Translation, Paraphrase Iden- tification, Speech Recognition, Question-answering and Text Summarization. However, measures designed for these tasks are aimed at assessing equivalence rather than resemblance, partly departing from human cognition of similarity. While this is reasonable for these activities, it hinders the applicability of sentence similarity measures to other tasks. We therefore propose a new sentence similarity measure specifically designed for resemblance evaluation, in order to cover these fields better. Experimental results are discussed.