fig-factorization.tex

\documentclass[tikz,border=7pt]{standalone}
\usepackage[T1]{fontenc}
\usepackage{lmodern,amsmath,amssymb}
\hyphenpenalty=10000
\exhyphenpenalty=10000
\usetikzlibrary{arrows.meta,positioning,calc,fit,backgrounds}
\definecolor{ink}{HTML}{243B4A}
\definecolor{pale}{HTML}{EFF5F7}
\definecolor{warm}{HTML}{FAF5E8}
\tikzset{every node/.style={font=\sffamily\small,text=ink},
 box/.style={draw=ink!65,rounded corners=2pt,fill=pale,align=center,inner sep=7pt},
 warmbox/.style={box,fill=warm},
 arr/.style={-{Latex[length=2mm]},draw=ink!80,line width=.65pt},
 lab/.style={font=\sffamily\footnotesize,fill=white,inner sep=2pt},
 dot/.style={circle,draw=ink!75,fill=white,minimum size=8mm,inner sep=1pt},
 title/.style={font=\sffamily\bfseries\small,align=center}}
\begin{document}\begin{tikzpicture}

\node[title] at (6.1,3.2) {Input prefix $S=CP$};
\node[box,minimum width=5cm,minimum height=1.1cm] (c) at (2.5,1.8) {left context $C$};
\node[warmbox,minimum width=6.4cm,minimum height=1.1cm,right=0pt of c] (p) {longest even suffix $P=P^R$};
\node[box,minimum width=5cm,minimum height=.9cm] (ell) at (2.5,-.1) {context read nearest first: $\ell=C^R$};
\draw[arr] (c.south)--node[lab,right]{reverse}(ell.north);
\node[align=left,text width=6.1cm] at (8.4,-.1) {The head of $\ell$ is next to $P$.\\Accept exactly when $C=\epsilon$, equivalently $\ell=\epsilon$.};

\end{tikzpicture}\end{document}