Visita de Jean-Éric Pin (08-15/10/2016)

Oct ’16Oct
815
Oct ’16
11
15:00
Oct ’16
13
12:00
Oct ’16
14
11:00

Jean-Éric PinEstimadas compañeras, estimados compañeros:

El profesor Jean-Éric Pin, del Institut de Recherche en Informatique Fondamentale (IRIF), CNRS y Université Paris-Diderot, visitará el Departament de Matemàtiques entre el 8 y el 15 de octubre. El profesor Pin es especialista en la teorías de semigrupos y de autómatas y lenguajes formales. Durante su visita impartirá un curso de seis horas titulado

«Stone duality and formal languges»

los días

  • martes 11, 15.00-17.00,
  • jueves 13, 12.00-14.00,
  • viernes 14, 11.00-13.00

en el seminario de Álgebra del segundo piso de la Facultat de Matemàtiques.

Quedáis todos invitados.

Cordialmente,

Ramón

Visita Jean-Éric Pin

Oct ’15Oct
2026

Jean-Éric PinEl profesor Jean-Éric Pin, director de investigaciones del LIAFA (CRNS-Université Paris Diderot, Paris 7) visitará el Departament d’Àlgebra de la Universitat de València entre el 20 y el 26 de octubre de 2015. Es experto en teoría de autómatas y de lenguajes formales, así como en semigrupos y topología profinita. En la actualidad es miembro de nuestro equipo de investigación.

Actualització: Defensa tesi doctoral Enric Cosme 22/10/2015, 12.00, sala graus Química

Oct ’15
22
12:00

portadaTesiEnricCosmeEl proper dijous 22 d’octubre de 2015, a les 12.00, a la sala de graus de la Facultat de Química de la Universitat de València (carrer de Vicent Andrés Estellés, s/n, Burjassot), es procedirà a la defensa de la tesi doctoral d’Enric Cosme i Llópez, dirigida per Adolfo Ballester Bolinches i Jean-Éric Pin i amb títol

«Some contributions to the algebraic theory of automata».

Esteu convidats a assistir a aquest acte.

 Actualització 16/10/2015: La defensa es durà a terme a la sala de graus de la Facultat de Química i no a la de Farmàcia, com inicialment estava previst.

Paper “Languages associated with saturated formations of groups” published in Forum Math.

The following paper has been published:

El siguiente artículo ha sido publicado:

El següent article ha sigut publicat:

Adolfo Ballester-Bolinches, Jean-Éric Pin, Xaro Soler-Escrivà

Languages associated with saturated formations of groups

Forum Math., 27(3) (2015), 1471–1505

http://dx.doi.org/10.1515/forum-2012-0161

Abstract

In a previous paper, the authors have shown that Eilenberg’s variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.

2010 Mathematics subject classification68Q70; 20D10

KeywordsGroup formation; regular language; finite automata; finite monoid

Paper “On fixed points of the lower set operator” published in Internat. J. Algebra Comput.

The following paper has been published:

El siguiente artículo ha sido publicado:

El següent article ha sigut publicat:

J. Almeida, A. Cano, O. Klíma, J.-É. Pin

On fixed points of the lower set operator

Internat. J. Algebra Comput., 25(1-2) (2015), 259–292

http://dx.doi.org/10.1142/S021819671540010X

Abstract

Lower subsets of an ordered semigroup form in a natural way an ordered semigroup. This lower set operator gives an analogue of the power operator already studied in semigroup theory. We present a complete description of the lower set operator applied to varieties of ordered semigroups. We also obtain large families of fixed points for this operator applied to pseudovarieties of ordered semigroups, including all examples found in the literature. This is achieved by constructing six types of inequalities that are preserved by the lower set operator. These types of inequalities are shown to be independent in a certain sense. Several applications are also presented, including the preservation of the period for a pseudovariety of ordered semigroups whose image under the lower set operator is proper.Read More: http://www.worldscientific.com/doi/10.1142/S021819671540010X

2010 Mathematics subject classificationPrimary: 20M07, Secondary: 20M35

Keywords: Ordered semigroups; pseudovarieties; lower sets; power operator; inequalities; pseudoidentities

Paper “Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited” published in Forum Math.

The following paper has been published:

El siguiente artículo ha sido publicado:

El següent article ha sigut publicat:

Adolfo Ballester-Bolinches, Jean-Éric Pin, Xaro Soler-Escrivà

Formations of finite monoids and formal languages: Eilenberg’s variety theorem revisited

Forum Math., 26(6) (2014), 1737–1761

http://dx.doi.org/10.1515/forum-2012-0055

Abstract

We present an extension of Eilenberg’s variety theorem, a well-known result connecting algebra to formal languages. We prove that there is a bijective correspondence between formations of finite monoids and certain classes of languages, the formations of languages. Our result permits to treat classes of finite monoids which are not necessarily closed under taking submonoids, contrary to the original theory. We also prove a similar result for ordered monoids.

2010 Mathematics subject classification: 20D10; 20M35

KeywordsGroup formations; regular languages; semigroups; automata theory

Paper “A noncommutative extension of Mahler’s theorem on interpolation series” published in European J. Combin.

The following paper has been published.

El siguiente artículo ha sido publicado.

El següent article ha sigut publicat.

Jean-Éric Pin, Pedro V. Silva

A noncommutative extension of Mahler’s theorem on interpolation series

European J. Combin., 36, 564-578 (2014)

http://dx.doi.org/10.1016/j.ejc.2013.09.009

Abstract

In this paper, we prove an extension of Mahler’s theorem on interpolation series, a celebrated result of p-adic analysis. Mahler’s original result states that a function from N to Z is uniformly continuous for the p-adic metric dp if and only if it can be uniformly approximated by polynomial functions. We prove the same result for functions from a free monoid A∗ to Z, where dp is replaced by the pro-p metric, the profinite metric on A∗ defined by p-groups.

Xarrada de divulgació professor Jean-Éric Pin/Charla de divulgación profesor Jean-Éric Pin

Nov ’13
7
13:00

CONFERÈNCIA DE DIVULGACIÓ

Lloc: Saló de graus Facultat de Ciències Matemàtiques

Dijous 7 de novembre, 13 hores

Títol: Todo lo que querías saber sobre autómatas y nunca te atreviste
a preguntar
Conferenciant: Jean-Éric Pin

Resum: En aquesta xarrada, adreçada a estudiants de grau i postgrau de
matemàtiques i informàtica, es presentarà una introducció a la teoria
d’autòmats i llenguatges formals. Aquesta teoria té la seua aplicació
en àmbits com el de la lingüística, el modelat, els analitzadors
lèxics, l’enginyeria automàtica, l’especificació i verificació formal
i la lògica, entre d’altres.

La xarrada serà impartida en anglès, acompanyada d’una presentació en
castellà.

Jean-Éric Pin és director de recerca del LIAFA (Laboratoire
d’Informatique Algorithmique: Fondements et Applications, unitat mixta
de recerca del CNRS i Université Paris Diderot, Paris 7). És expert en
teoria d’autòmats i de llenguatges formals, així com en semigrups i
topologia profinita. Les seues contribucions en aquestes àrees han
sigut molt destacades. És autor de diversos llibres d’investigació
(«Variétés de langages formels», «Semigroups, Algorithms, Automata and
Languages», «Infinite words», entre d’altres) i del programa «Semigroupe»
de càlcul amb semigrups. També és autor de 145 articles de recerca en
revistes científiques i actes de congressos. Ha dirigit 22 tesis
doctorals i ha sigut investigador principal de diversos projectes
internacionals de recerca. Recentment ha coŀlaborat amb Adolfo
Ballester Bolinches (Departament d’Àlgebra) i altres membres del seu
equip de recerca.

Més informació:
http://www.liafa.jussieu.fr/~jep/

 

CONFERENCIA DE DIVULGACIÓN

Salón de grados Facultat de Ciències Matemàtiques

Jueves 7 de noviembre, 13 horas
Título: Todo lo que querías saber sobre autómatas y nunca te atreviste
a preguntar
Conferenciante: Jean-Éric Pin

Resumen: En esta charla, dirigida a estudiantes de grado y posgrado de
matemáticas e informática, se presentará una introducción a la teoría
de autómatas y lenguajes formales. Esta teoría tiene su aplicación en
ámbitos como el de la lingüística, el modelado, los analizadores
léxicos, la ingeniería automática, la especificación y verificación
formal y la lógica, entre otros.

La charla será impartida en inglés, acompañada de una presentación en
castellano.

Jean-Éric Pin es director de investigación del LIAFA (Laboratoire
d’Informatique Algorithmique: Fondements et Applications, unidad mixta
de investigación del CNRS y Université Paris Diderot, Paris 7). Es
experto en teoría de autómatas y de lenguajes formales, así como en
semigrupos y topología profinita. Sus contribuciones en estas áreas
han sido muy destacadas. Es autor de varios libros de investigación
(«Variétés de langages formels», «Semigroups, Algorithms, Automata and
Languages», «Infinite words», entre otros) y del programa «Semigroupe»
de cálculo con semigrupos. También es autor de 145 artículos de
investigación en revistas científicas y actas de congresos. Ha
dirigido 22 tesis doctorales y ha sido investigador principal de
diversos proyectos internacionales de investigación. Recientemente ha
colaborado con Adolfo Ballester Bolinches (Departament d’Àlgebra) y
otros miembros de su equipo de investigación.

Más información:
http://www.liafa.jussieu.fr/~jep/

 

 

Visita profesor Jean-Éric Pin

Nov ’13Nov
411

Foto de Jean-Éric PinEl profesor Jean-Éric Pin, director de investigaciones del LIAFA (CRNS-Université Paris Diderot, Paris 7) visitará el Departament d’Àlgebra de la Universitat de València entre el 4 y el 11 de noviembre de 2013. Es experto en teoría de autómatas y de lenguajes formales, así como en semigrupos y topología profinita. Sus contribuciones en estas áreas han sido muy destacadas. Es autor de varios libros de investigación («Variétés de langages formels», «Semigroups, Algorithms, Automata and Languages», «Infinite words», entre otros) y del programa «Semigroupe» de cálculo con semigrupos. También es autor de 145 artículos de investigación en revistas científicas y actas de congresos. Ha dirigido 22 tesis doctorales y ha sido investigador principal de diversos proyectos internacionales de investigación. En la actualidad es miembro de nuestro equipo de investigación.

 

 

Paper “Regular languages and partial commutations” published in Inform. and Comput.

The following paper has been published.

El siguiente artículo ha sido publicado.

El següent article ha sigut publicat.

Antonio Cano, Giovanna Guaiana, Jean-Éric Pin

Regular languages and partial commutations

Inform. and Comput., 230, 79-96 (2013)

http://dx.doi.org/10.1016/j.ic.2013.07.003

Abstract

The closure of a regular language under a [partial] commutation I has been extensively studied. We present new advances on two problems of this area: (1) When is the closure of a regular language under [partial] commutation still regular? (2) Are there any robust classes of languages closed under [partial] commutation? We show that the class Pol(G) of polynomials of group languages is closed under commutation, and under partial commutation when the complement of I in A2 is a transitive relation. We also give a sufficient graph theoretic condition on I to ensure that the closure of a language of Pol(G ) under I-commutation is regular. We exhibit a very robust class of languages W which is closed under commutation. This class contains Pol(G), is decidable and can be defined as the largest positive variety of languages not containing (ab )∗. It is also closed under intersection, union, shuffle, concatenation, quotients, length-decreasing morphisms and inverses of morphisms. If I is transitive, we show that the closure of a language of W under I-commutation is regular. The proofs are nontrivial and combine several advanced techniques, including combinatorial Ramsey type arguments, algebraic properties of the syntactic monoid, finiteness conditions on semigroups and properties of insertion systems.

Keywords: regular language, partial commutation, trace language, shuffle, variety of languages