File:Pumping-Lemma.svg
Size of this PNG preview of this SVG file: 472 × 92 pixels. Other resolutions: 320 × 62 pixels | 640 × 125 pixels | 1,024 × 200 pixels | 1,280 × 249 pixels | 2,560 × 499 pixels.
Original file (SVG file, nominally 472 × 92 pixels, file size: 26 KB)
File information
Structured data
Captions
Summary edit
DescriptionPumping-Lemma.svg |
Deutsch: vectorized Version of File:Pumping-Lemma.png, created with TeX/TikZ |
Date | |
Source |
Created with LaTeX with the following code: \documentclass[border=0.2cm]{standalone}
\usepackage{tikz}
\usetikzlibrary{automata, arrows.meta, positioning}
\usetikzlibrary{decorations.pathreplacing,calligraphy}
\begin{document}
\begin{tikzpicture} [node distance = 3cm, on grid, auto]
\node (q0) [state, initial text = {}] {$q_1$};
\node (q1) [state, right = 2 of q0, draw opacity=0] {$...$};
\node (q2) [state, right = 2 of q1] {$q_s$};
\node (q3) [state, right = 2 of q2, draw opacity=0] {$...$};
\node (q4) [state, right = 2 of q3] {$q_t$};
\node (q5) [state, right = 2 of q4, draw opacity=0] {$...$};
\node (q6) [state, accepting, right = 2cm of q5] {$q_m$};
\path [-stealth]
(q0) edge node {} (q1)
(q4) edge [bend right] node {} (q2)
(q1) edge node {} (q2)
(q2) edge node {} (q3)
(q3) edge node {} (q4)
(q4) edge node {} (q5)
(q5) edge node {} (q6);
\draw [decorate,
decoration = {brace,mirror}] (0.5,-0.75) -- (3.5,-0.75)
node[pos=0,below=17pt,align=center,anchor=south,black,midway]{$u$};;;
\draw [decorate,
decoration = {brace,mirror}] (4.5,-0.75) -- (7.5,-0.75)
node[pos=0,below=17pt,align=center,anchor=south,black,midway]{$v^i$};
\draw [decorate,
decoration = {brace,mirror}] (8.5,-0.75) -- (11.5,-0.75)
node[pos=0,below=17pt,align=center,anchor=south,black,midway]{$w$};;
\end{tikzpicture}
\end{document}
|
Author | Max0205 |
Licensing edit
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license.
- You are free:
- to share – to copy, distribute and transmit the work
- to remix – to adapt the work
- Under the following conditions:
- attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 13:06, 5 June 2022 | 472 × 92 (26 KB) | Max0205 (talk | contribs) | {{Information |description={{de|1=vectorized Version of File:Pumping-Lemma.png, created with TeX/TikZ}} |Source =Created with LaTeX with the following code: <source lang="latex"> \documentclass[border=0.2cm]{standalone} \usepackage{tikz} \usetikzlibrary{automata, arrows.meta, positioning} \usetikzlibrary{decorations.pathreplacing,calligraphy} \begin{document} \begin{tikzpicture} [node distance = 3cm, on grid, auto] \node (q0) [state, initial text = {}] {$q_1$}; \node (q1) [state... |
You cannot overwrite this file.
File usage on Commons
The following page uses this file:
File usage on other wikis
The following other wikis use this file:
- Usage on de.wikipedia.org
- Usage on en.wikipedia.org
- Usage on es.wikipedia.org
- Usage on pt.wikipedia.org
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Width | 377.299pt |
---|---|
Height | 73.696pt |