% Date: 19 mars 2009
\documentclass[12pt]{article}
\usepackage[dvips]{epsfig}
\usepackage{amsfonts}
\usepackage{amscd}
\usepackage{pstricks}
\textheight 240mm
\textwidth 160mm
\hoffset -14mm
\voffset -26mm
\parindent=0pt

%%%%%%%%%%%%%%%%%%%%%%
% Fonts
%%%%%%%%%%%%%%%%%%%%%%

\font\tensym=msbm10
\font\sevensym=msbm7
\font\fivesym=msbm5

\font\twelvegoth=eufb10 at 12pt
\font\tengoth=eufb10
\font\sevengoth=eufb7
\font\fivegoth=eufb5

\newfam\symfam
\textfont\symfam=\tensym
\scriptfont\symfam=\sevensym
\scriptscriptfont\symfam=\fivesym
\def\sym{\fam\symfam\tensym}
\def\fns{\footnotesize}

\newfam\gothfam
\textfont\gothfam=\tengoth
\scriptfont\gothfam=\sevengoth
\scriptscriptfont\gothfam=\fivegoth
\def\goth{\fam\gothfam\tengoth}

%%%%%%%%%%%%%%%%%%%%%%
% Jumps
%%%%%%%%%%%%%%%%%%%%%%

\def\hs{\hbox to 3mm{}}
\def\hhs{\hbox to 5cm{}}
\def\ss{\smallskip}
\def\ms{\smallskip}
\def\bs{\bigskip}
\def\bbss{\vskip 6mm}

%%%%%%%%%%%%%%%%%%%%%%
% Images
%%%%%%%%%%%%%%%%%%%%%%

\def\JPicScale{0.8}\ifx\JPicScale\undefined\def\JPicScale{1}\fi

%%%%%%%%%%%%%%%%%%%%%%
% Miscellaneous
%%%%%%%%%%%%%%%%%%%%%%

%%% Letters et abbreviations %%%

\def\A{\mathcal{A}}
\def\U{\mathcal{U}}
\def\TBD{\times_{BD}}
\def\B{\mathbb{B}}
\def\C{\mathbb{C}}
\def\R{\mathbb{R}}
\def\N{\mathbb{N}}
\def\D{\mathcal{D}}
\def\H{\mathcal{H}}
\def\DWS{\Delta_{WS}}
\def\DBS{\Delta_{BS}}
\def\G{\Gamma}
\def\S{\Gamma^{(1)}}
\def\ga{\gamma}
\def\g{\gamma}
\def\s{s}
\def\bX{\bar X}
\def\E{\mathcal{E}}
\def\HWS{{\cal H}_{WS}}
\def\1H{\mathbf{1}_{\HWS}}
\def\L{\mathbb{L}}
\def\V{\mathbb{V}}
\def\X{\mathbb{X}}
\def\Y{\mathbb{Y}}
\def\Q{{\sym Q}}
\def\SG{{\frak S}}
\def\al{\alpha}
\def\be{\beta}
\def\ep{\varepsilon}
\def\la{\lambda}
\def\Om{\Omega}
\def\om{\omega}
\def\MQSym{{\bf MQSym}}
\def\red{\stackrel{\small red}{\longrightarrow}}
\def\bd{\bar\Delta}
\def\card{\mathrm{card}}
%\def\2m#1#2{\pmatrix{#1\cr #2}}
%\def\3m#1#2#3{\pmatrix{#1\cr #2\cr #3}}
\def\2m#1#2{(#2 #1)}
\def\3m#1#2#3{(#3 #2 #1)}
\def\inf{\uparrow}

%%%%%%%%%%%%%%%%%%%%%%
%%% Spaces and operators %%%
%%%%%%%%%%%%%%%%%%%%%%

\def\diag{\mathbf{diag}}
\def\ldiag{\mathbf{ldiag}}
\def\LDIAG{\mathbf{LDIAG}}
\def\DIAG{\mathbf{DIAG}}
\def\LBELL{\mathbf{LBELL}}
\def\BELL{\mathbf{BELL}}
\def\MQS{\mathbf{MQSym}}
\def\ncp#1#2{#1\langle #2\rangle}
\def\ncs#1#2{#1\langle\langle #2\rangle\rangle}
\newcommand{\End}{\mathrm{End}}
\def\scal#1#2{\langle #1 | #2 \rangle}
\def\ket#1{|#1\rangle}
\def\bra#1{\langle #1|}

%%%%%%%%%%%%%%%%%%%%%%
%%% Arrows and lines%%%
%%%%%%%%%%%%%%%%%%%%%%

\def\ra{\rightarrow}
\def\lar{\leftarrow}
\def\lra{\leftrightarrow}
\def\da{\downarrow}
\def\ua{\uparrow}
\def\sea{\searrow}
\def\swa{\swarrow}
\def\ol#1{\overline{#1}}
%%% Signs %%%

\def\mod{{\rm\ mod\ }}
\def\quo{{\rm\ quo\ }}
\def\irem{{\rm\ rem\ }}
\def\peb#1{\lfloor #1\rfloor}
\def\peh#1{\lceil #1\rceil}
\def\adots{\mathinner{\mkern2mu\raise1pt\hbox{.}
\mkern3mu\raise4pt\hbox{.}\mkern1mu\raise7pt\hbox{.}}}
\def\binomial#1#2{\left(\,\begin{matrix}#1 \\ #2\end{matrix}\,\right)}
\def\pointir{\unskip . --- \ignorespaces}
\def\quest{{\bf Q\ }}
\def\rep{{\bf R\ }}
\def\up#1{\raise 1ex\hbox{\footnotesize#1}}
\def\cs{$\clubsuit$}
\def\sps{$\spadesuit$}
\def\hes{$\heartsuit$}
\def\ds{$\diamondsuit$}
\def\mref#1{{\footnotesize ({\ref{#1}})}}

%%%%%%%%%%%%%%%%%%%%%%
% Statements
%%%%%%%%%%%%%%%%%%%%%%

\newtheorem{expl}{Example}[section]
\newtheorem{exercice}{Exercice}[section]
\newtheorem{note}[expl]{Note}
\newtheorem{exo}[expl]{Exercice}
\newtheorem{exm}[expl]{MecaExercice}
\newtheorem{theorem}[expl]{Theorem}
\newtheorem{corollaire}[expl]{Corollary}
\newtheorem{comm}[expl]{Comment}
\newtheorem{definition}[expl]{Definition}
\newtheorem{proposition}[expl]{Proposition}
\newtheorem{prdef}[expl]{Proposition/Definition}
\newtheorem{algorithm}[expl]{Algorithm}
\newtheorem{lemma}[expl]{Lemma}
\newtheorem{remark}[expl]{Remark}
\newtheorem{appli}[expl]{Application(s)}
\def\Proof{\medskip\noindent {\it Proof --- \ }}
\def\cqfd{\hfill $\Box$ \bigskip}

%%%%%%%%%%%%%%%%%%%%%%
% Affichage date et l'heure courante %\isodayandtime% 
%%%%%%%%%%%%%%%%%%%%%%

\begingroup
\count0=\time \divide\count0by60 % Hour
\count2=\count0 \multiply\count2by-60 \advance\count2by\time
% Min
\def\2#1{\ifnum#1<10 0\fi\the#1}
\xdef\isodayandtime{
%\centerline
{\2\day-\2\month-\the\year\space\2{\count0}:%
\2{\count2}}}
\endgroup

\title{\LARGE\bf Formal Power Series and Combinatorial Physics}

\author{\sc - In honour of Philippe Flajolet for his 60th Birthday -
\\\\\\
\sc G\'erard H. E. Duchamp and Christophe Tollu.
\rm
\thanks{LIPN - UMR 7030
CNRS - Université Paris 13
F-93430 Villetaneuse, France}}

\date{}
%
\begin{document}

\maketitle

\begin{abstract}\footnote[0]{Version compil\'ee le \isodayandtime}
\end{abstract}

\section{Introduction}

\section{Generalities}

Rappel ample de cela boite \`a outils qui a qui \'et\'e construite \`a Bonn, langages comme supports de series. 

\section{Application to Combinatorial Physics}

\subsection{Sweedlers Duals}

Reprise de Bonn, mais avec plus de motivations ``Physiques'' (observables, comme pour le tutorial de Prague).

\subsection{Level change languages}

Langages de changement de niveau pour des chemins cod\'es par des lettres.

\subsubsection{The carrier problem}

Reprise de l'article avec Katriel avec les fractions continues (+ crédits \`a Flajolet)

\subsubsection{Motzkin paths and orthogonal polynomials}

Eclairage avec les sp\'ecialisations de langages de chemins, en donnant bien les cr\'edits \`a tout le monde (Viennot, Flajolet, Bojeiko).

\subsection{Supporting languages}

Formule CBH et rationalit\'e du support de la formule de Dynkin (peut-\^etre annoncer le travail en cours avec Silvia).


\section{Concluding remarks}

%
\begin{thebibliography}{ABC}
%
\bibitem{Abe} {\sc E. Abe} Hopf algebras. Cambridge (1980)
%
\bibitem{BR} {\sc J. Berstel, C. Reutenauer} Rational series and their 
languages EATCS Monographs on Theoretical Computer Science. Springer (1988).
%
\bibitem{B_Alg_III} {\sc Bourbaki N.}, {\it Algebra, chapter III}, Springer
%
\bibitem{B_Th_Spec} {\sc Bourbaki N.}, {\it Th\'eories spectrales}, Hermann
%
\bibitem{Ca} {\sc A. Cayley}, On certain results related to quaternions. 
Phil. Mag. {\bf 26}, 141-145 (1845).
%
\bibitem{CD} \textsc{Champarnaud J.-M., Duchamp G.} {\it 
Derivatives of rational expressions\\ and related theorems}, T.C.S. {\bf 313} 31 (2004).
%
\bibitem{CP} {\sc V. Chari, A. Pressley}, A guide to quantum groups. 
Cambridge (1994).
%
\bibitem{Co}{\sc P.M. Cohn}, Free rings and their relations. Acad. Press (1985).
%
\bibitem{C}{\sc A. Connes}, Noncommutative geometry. Acad. Press (1994).
%
\bibitem{Cau} {\sc G. Cauchon}, S\'eries de Malcev-Neumann sur le groupe 
libre et questions de rationalit\'e, TCS, {\bf 98}, pp79-97 (1992).
%
\bibitem{D21} {\sc Duchamp G., Reutenauer C.}, {\it Un crit\`ere de rationalit\'e 
provenant de la g\'eom\'etrie noncommutative} Invent. Math. {\bf 128} 613-622.
(1997).
%
\bibitem{DHKL} {\sc G\'erard Duchamp, Hatem Hadj Kacem, Eric Laugerotte}, 
{\it Algebraic elimination of $\epsilon$-transitions}, DMTCS, Volume 7, (2005), pp. 51-70
%
\bibitem{DFLL} {\sc Duchamp G., Flouret M., Laugerotte \'E., Luque J-G.}, 
{\it Direct and dual laws for automata with multiplicities} T.C.S.
{\bf 267}, 105-120 (2001).
%
\bibitem{Eil} {\sc S. Eilenberg}, Automata, languages and machines, 
(Acad. Press, New-York, 1974).
%
\bibitem{F1} {\sc M. Fliess}, Sur le plongement de l'alg\`ebre des s\'eries 
rationnelles non commutatives dans un corps gauche. CRAS Ser. A {\bf 271} 
pp 926-927 (1970).
%
\bibitem{F2} {\sc M. Fliess}, Matrices de Hankel, Jour. of Pure and Appl. 
Math. {\bf 53}, 197-222, (1994).
%
\bibitem{GR} {\sc I.M. Gelfand, V.S. Retakh}, A theory of non-commutative 
determinants and characteristic functions of graphs, Funct. Anal. Appl. 
{\bf 26} (1992).
%
\bibitem{GT} {\sc I,M. Gelfand, D. Krob, A. Lascoux, B. Leclerc B, 
V.S. Retakh} and {\sc J.-Y.Thibon}, Noncommutative symmetric functions, 
Adv. in Math. {\bf 112}, 218--348 (1995).
%
\bibitem{G1} \textsc{Golan J. S.}, {\it Power Algebras over Semirings: With Applications in Mathematics and 
Computer science}. Kluwer Academic Publishers  (1999).
%
\bibitem{G2}
\textsc{\sc Golan J. S.}, 
\emph{Semirings and Affine Equations over Them: Theory and Applications}.  
Kluwer Academic Publishers (2003).
%
%
\bibitem{H} {\sc A. Heyting}, Die Theorie der linearen Gleichungen in einer 
Zahlenspezies mit nichtkommutativer Multiplikation, Math. Ann., {\bf 98}, 
465-490 (1927).
%
\bibitem{J} {\sc G. Jacob}, Repr\'esentations et substitutions matricielles 
 dans la th\'eorie matricielle des semigroupes. Th\`ese, Univ. de Paris (1975).
%
\bibitem{D20} \textsc{Katriel J., Duchamp G.}, \textit{Ordering relations for q-boson operators, continued fractions techniques, 
and the q-CBH enigma}. Journal of Physics A {\bf 28} 7209-7225 (1995).
%
\bibitem{L} {\sc J. Lewin}, Fields of fractions for group algebras of free groups,
 Trans. Amer. Math. Soc. {\bf 192}, 339-346, (1974).
%
\bibitem{P} {\sc D.S. Passman}, The algebraic structure of group rings, 
John Wiley - Interscience (1977). 
%
\bibitem{R1} {\sc A.R. Richardson} Simultaneous linear equations over a 
division ring. Proc. Lond. Math. Soc., {\bf 28}, 395-420 (1928). 
%
\bibitem{S} {\sc M.P. Sch\"utzenberger}, On the definition of a family of 
automata, {\bf 4}, Information and Control, 275-270, (1961).
%
\bibitem{S2} {\sc M.P. Sch\"utzenberger}, On a theorem of R. Jungen, Proc. 
Amer. Math. Soc. {\bf 13}, 885-889, (1962).
%
\end{thebibliography}


\end{document}