How to Recreate this in LaTeX? (Unsure What the Notation is Called)












1















How would I produce a diagram like this in LaTeX? It's from my book, and I'd like to be able to answer the questions from the section in this format.



⊢ notation maybe










share|improve this question







New contributor




MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





















  • Welcome to TeX SX! You can do that very easily with tikz-cd.

    – Bernard
    4 hours ago
















1















How would I produce a diagram like this in LaTeX? It's from my book, and I'd like to be able to answer the questions from the section in this format.



⊢ notation maybe










share|improve this question







New contributor




MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





















  • Welcome to TeX SX! You can do that very easily with tikz-cd.

    – Bernard
    4 hours ago














1












1








1


1






How would I produce a diagram like this in LaTeX? It's from my book, and I'd like to be able to answer the questions from the section in this format.



⊢ notation maybe










share|improve this question







New contributor




MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












How would I produce a diagram like this in LaTeX? It's from my book, and I'd like to be able to answer the questions from the section in this format.



⊢ notation maybe







automata






share|improve this question







New contributor




MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|improve this question







New contributor




MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|improve this question




share|improve this question






New contributor




MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 4 hours ago









MeaninglessCodeMeaninglessCode

61




61




New contributor




MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






MeaninglessCode is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.













  • Welcome to TeX SX! You can do that very easily with tikz-cd.

    – Bernard
    4 hours ago



















  • Welcome to TeX SX! You can do that very easily with tikz-cd.

    – Bernard
    4 hours ago

















Welcome to TeX SX! You can do that very easily with tikz-cd.

– Bernard
4 hours ago





Welcome to TeX SX! You can do that very easily with tikz-cd.

– Bernard
4 hours ago










1 Answer
1






active

oldest

votes


















4














As Bernard says, it can be done with tikz-cd. (@Bernard: saying something of that sort doesn't mean I didn't know that, of course I did, but it is IMHO nicer to acknowledge comments that go in the same direction as an answer that one is going to post.) You need to move the commas and so on yourself.



documentclass{article}
usepackage{tikz-cd}
usepackage{amsmath}
begin{document}
tikzcdset{every arrow/.append style = {-latex}}
[ begin{tikzcd}
(q_0,111,Z_0) ar[dr] ar[d]& & \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0) ar[dr] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[d]& (q_1,111,Z_0)ar[d] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) & (q_1,111,Z_0) & (q_2,111,Z_0) ar[d] \
& & (q_2,111,Z_0) \
end{tikzcd}]
end{document}


enter image description here






share|improve this answer


























  • Not exactly the same as the one on page 188 of Comp 335 by David Ford down the road from you ? at Concordia Montreal but it proves you can convert pdftex to pdf to png to html to tex to pdfLaTeX to html without a loss in quality or a single pandoc step in sight :-)

    – KJO
    14 mins ago











  • @KJO I probably need another day or so to understand this one. ... ;-)

    – marmot
    3 mins ago












Your Answer








StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "85"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});






MeaninglessCode is a new contributor. Be nice, and check out our Code of Conduct.










draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f483063%2fhow-to-recreate-this-in-latex-unsure-what-the-notation-is-called%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









4














As Bernard says, it can be done with tikz-cd. (@Bernard: saying something of that sort doesn't mean I didn't know that, of course I did, but it is IMHO nicer to acknowledge comments that go in the same direction as an answer that one is going to post.) You need to move the commas and so on yourself.



documentclass{article}
usepackage{tikz-cd}
usepackage{amsmath}
begin{document}
tikzcdset{every arrow/.append style = {-latex}}
[ begin{tikzcd}
(q_0,111,Z_0) ar[dr] ar[d]& & \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0) ar[dr] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[d]& (q_1,111,Z_0)ar[d] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) & (q_1,111,Z_0) & (q_2,111,Z_0) ar[d] \
& & (q_2,111,Z_0) \
end{tikzcd}]
end{document}


enter image description here






share|improve this answer


























  • Not exactly the same as the one on page 188 of Comp 335 by David Ford down the road from you ? at Concordia Montreal but it proves you can convert pdftex to pdf to png to html to tex to pdfLaTeX to html without a loss in quality or a single pandoc step in sight :-)

    – KJO
    14 mins ago











  • @KJO I probably need another day or so to understand this one. ... ;-)

    – marmot
    3 mins ago
















4














As Bernard says, it can be done with tikz-cd. (@Bernard: saying something of that sort doesn't mean I didn't know that, of course I did, but it is IMHO nicer to acknowledge comments that go in the same direction as an answer that one is going to post.) You need to move the commas and so on yourself.



documentclass{article}
usepackage{tikz-cd}
usepackage{amsmath}
begin{document}
tikzcdset{every arrow/.append style = {-latex}}
[ begin{tikzcd}
(q_0,111,Z_0) ar[dr] ar[d]& & \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0) ar[dr] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[d]& (q_1,111,Z_0)ar[d] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) & (q_1,111,Z_0) & (q_2,111,Z_0) ar[d] \
& & (q_2,111,Z_0) \
end{tikzcd}]
end{document}


enter image description here






share|improve this answer


























  • Not exactly the same as the one on page 188 of Comp 335 by David Ford down the road from you ? at Concordia Montreal but it proves you can convert pdftex to pdf to png to html to tex to pdfLaTeX to html without a loss in quality or a single pandoc step in sight :-)

    – KJO
    14 mins ago











  • @KJO I probably need another day or so to understand this one. ... ;-)

    – marmot
    3 mins ago














4












4








4







As Bernard says, it can be done with tikz-cd. (@Bernard: saying something of that sort doesn't mean I didn't know that, of course I did, but it is IMHO nicer to acknowledge comments that go in the same direction as an answer that one is going to post.) You need to move the commas and so on yourself.



documentclass{article}
usepackage{tikz-cd}
usepackage{amsmath}
begin{document}
tikzcdset{every arrow/.append style = {-latex}}
[ begin{tikzcd}
(q_0,111,Z_0) ar[dr] ar[d]& & \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0) ar[dr] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[d]& (q_1,111,Z_0)ar[d] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) & (q_1,111,Z_0) & (q_2,111,Z_0) ar[d] \
& & (q_2,111,Z_0) \
end{tikzcd}]
end{document}


enter image description here






share|improve this answer















As Bernard says, it can be done with tikz-cd. (@Bernard: saying something of that sort doesn't mean I didn't know that, of course I did, but it is IMHO nicer to acknowledge comments that go in the same direction as an answer that one is going to post.) You need to move the commas and so on yourself.



documentclass{article}
usepackage{tikz-cd}
usepackage{amsmath}
begin{document}
tikzcdset{every arrow/.append style = {-latex}}
[ begin{tikzcd}
(q_0,111,Z_0) ar[dr] ar[d]& & \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0)ar[r] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) ar[dr] ar[d]& (q_1,111,Z_0) ar[dr] & (q_2,111,Z_0) \
(q_0,111,Z_0) ar[d]& (q_1,111,Z_0)ar[d] & (q_2,111,Z_0) ar[d] \
(q_0,111,Z_0) & (q_1,111,Z_0) & (q_2,111,Z_0) ar[d] \
& & (q_2,111,Z_0) \
end{tikzcd}]
end{document}


enter image description here







share|improve this answer














share|improve this answer



share|improve this answer








edited 4 hours ago

























answered 4 hours ago









marmotmarmot

114k5145276




114k5145276













  • Not exactly the same as the one on page 188 of Comp 335 by David Ford down the road from you ? at Concordia Montreal but it proves you can convert pdftex to pdf to png to html to tex to pdfLaTeX to html without a loss in quality or a single pandoc step in sight :-)

    – KJO
    14 mins ago











  • @KJO I probably need another day or so to understand this one. ... ;-)

    – marmot
    3 mins ago



















  • Not exactly the same as the one on page 188 of Comp 335 by David Ford down the road from you ? at Concordia Montreal but it proves you can convert pdftex to pdf to png to html to tex to pdfLaTeX to html without a loss in quality or a single pandoc step in sight :-)

    – KJO
    14 mins ago











  • @KJO I probably need another day or so to understand this one. ... ;-)

    – marmot
    3 mins ago

















Not exactly the same as the one on page 188 of Comp 335 by David Ford down the road from you ? at Concordia Montreal but it proves you can convert pdftex to pdf to png to html to tex to pdfLaTeX to html without a loss in quality or a single pandoc step in sight :-)

– KJO
14 mins ago





Not exactly the same as the one on page 188 of Comp 335 by David Ford down the road from you ? at Concordia Montreal but it proves you can convert pdftex to pdf to png to html to tex to pdfLaTeX to html without a loss in quality or a single pandoc step in sight :-)

– KJO
14 mins ago













@KJO I probably need another day or so to understand this one. ... ;-)

– marmot
3 mins ago





@KJO I probably need another day or so to understand this one. ... ;-)

– marmot
3 mins ago










MeaninglessCode is a new contributor. Be nice, and check out our Code of Conduct.










draft saved

draft discarded


















MeaninglessCode is a new contributor. Be nice, and check out our Code of Conduct.













MeaninglessCode is a new contributor. Be nice, and check out our Code of Conduct.












MeaninglessCode is a new contributor. Be nice, and check out our Code of Conduct.
















Thanks for contributing an answer to TeX - LaTeX Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f483063%2fhow-to-recreate-this-in-latex-unsure-what-the-notation-is-called%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

How to label and detect the document text images

Vallis Paradisi

Tabula Rosettana