equal
deleted
inserted
replaced
3 \usepackage{../slides} |
3 \usepackage{../slides} |
4 \usepackage{../graphics} |
4 \usepackage{../graphics} |
5 \usepackage{../langs} |
5 \usepackage{../langs} |
6 \usepackage{../data} |
6 \usepackage{../data} |
7 |
7 |
|
8 \usepackage{tcolorbox} |
|
9 \newtcolorbox{mybox}{colback=red!5!white,colframe=red!75!black} |
|
10 \newtcolorbox{mybox2}[1]{colback=red!5!white,colframe=red!75!black,fonttitle=\bfseries,title=#1} |
|
11 \newtcolorbox{mybox3}[1]{colback=Cyan!5!white,colframe=Cyan!75!black,fonttitle=\bfseries,title=#1} |
|
12 |
|
13 |
8 \hfuzz=220pt |
14 \hfuzz=220pt |
9 |
15 |
10 \pgfplotsset{compat=1.11} |
16 \pgfplotsset{compat=1.17} |
11 |
17 |
12 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
18 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
13 |
19 |
14 % beamer stuff |
20 % beamer stuff |
15 \renewcommand{\slidecaption}{CFL 03, King's College London} |
21 \renewcommand{\slidecaption}{CFL 03, King's College London} |
1569 \small |
1575 \small |
1570 for example \bl{$a^nb^n$} is not regular |
1576 for example \bl{$a^nb^n$} is not regular |
1571 \end{frame} |
1577 \end{frame} |
1572 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1578 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1573 |
1579 |
1574 |
|
1575 |
|
1576 |
|
1577 |
|
1578 |
|
1579 |
|
1580 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1580 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1581 \begin{frame}[c] |
1581 \begin{frame}[c] |
1582 \frametitle{Negation} |
1582 \frametitle{Negation} |
1583 |
1583 |
1584 Regular languages are closed under negation:\bigskip |
1584 Regular languages are closed under negation:\bigskip |
1605 But requires that the automaton is \alert{completed}! |
1605 But requires that the automaton is \alert{completed}! |
1606 |
1606 |
1607 \end{frame} |
1607 \end{frame} |
1608 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1608 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1609 |
1609 |
|
1610 |
|
1611 \begin{frame}[c] |
|
1612 \frametitle{Housekeeping} |
|
1613 \begin{mybox3}{} |
|
1614 The deadline for CW2 is 6 November (thanks to Arshdeep Pareek |
|
1615 for pointing this out). |
|
1616 \end{mybox3} |
|
1617 \end{frame} |
|
1618 |
|
1619 \begin{frame}[c] |
|
1620 \begin{mybox3}{} |
|
1621 I always thought dfa's needed a transition for each state for each |
|
1622 character, and if not it would be an nfa not a dfa. Is there an |
|
1623 example that disproves this? |
|
1624 \end{mybox3} |
|
1625 \end{frame} |
|
1626 |
|
1627 \begin{frame}<1-12>[c] |
|
1628 \end{frame} |
|
1629 |
1610 \end{document} |
1630 \end{document} |
1611 |
1631 |
1612 %%% Local Variables: |
1632 %%% Local Variables: |
1613 %%% mode: latex |
1633 %%% mode: latex |
1614 %%% TeX-master: t |
1634 %%% TeX-master: t |