img/railroad-identifier.svg

<svg class="railroad-diagram" width="239.5" height="130" viewBox="0 0 239.5 130" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="translate(.5 .5)">
<g>
<path d="M20 51v20m10 -20v20m-10 -10h20"></path>
</g>
<path d="M40 61h10"></path>
<g>
<path d="M50 61h0"></path>
<path d="M189.5 61h0"></path>
<path d="M50 61h10"></path>
<g>
<path d="M60 61h0"></path>
<path d="M179.5 61h0"></path>
<path d="M60 61a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"></path>
<g class="terminal ">
<path d="M80 31h0"></path>
<path d="M159.5 31h0"></path>
<rect x="80" y="20" width="79.5" height="22" rx="10" ry="10"></rect>
<text x="119.75" y="35">'a'-'z'</text>
</g>
<path d="M159.5 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"></path>
<path d="M60 61h20"></path>
<g class="terminal ">
<path d="M80 61h0"></path>
<path d="M159.5 61h0"></path>
<rect x="80" y="50" width="79.5" height="22" rx="10" ry="10"></rect>
<text x="119.75" y="65">'A'-'Z'</text>
</g>
<path d="M159.5 61h20"></path>
<path d="M60 61a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"></path>
<g class="terminal ">
<path d="M80 91h17"></path>
<path d="M142.5 91h17"></path>
<rect x="97" y="80" width="45.5" height="22" rx="10" ry="10"></rect>
<text x="119.75" y="95">'&#95;'</text>
</g>
<path d="M159.5 91a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"></path>
</g>
<path d="M179.5 61h10"></path>
<path d="M60 61a10 10 0 0 0 -10 10v29a10 10 0 0 0 10 10"></path>
<g>
<path d="M60 110h119.5"></path>
</g>
<path d="M179.5 110a10 10 0 0 0 10 -10v-29a10 10 0 0 0 -10 -10"></path>
</g>
<path d="M189.5 61h10"></path>
<path d="M 199.5 61 h 20 m -10 -10 v 20 m 10 -20 v 20"></path>
</g>
<style>
	svg {
		background-color: hsl(30,20%,95%);
	}
	path {
		stroke-width: 3;
		stroke: black;
		fill: rgba(0,0,0,0);
	}
	text {
		font: bold 14px monospace;
		text-anchor: middle;
		white-space: pre;
	}
	text.diagram-text {
		font-size: 12px;
	}
	text.diagram-arrow {
		font-size: 16px;
	}
	text.label {
		text-anchor: start;
	}
	text.comment {
		font: italic 12px monospace;
	}
	g.non-terminal text {
		/&#42;font-style: italic;&#42;/
	}
	rect {
		stroke-width: 3;
		stroke: black;
		fill: hsl(120,100%,90%);
	}
	rect.group-box {
		stroke: gray;
		stroke-dasharray: 10 5;
		fill: none;
	}
	path.diagram-text {
		stroke-width: 3;
		stroke: black;
		fill: white;
		cursor: help;
	}
	g.diagram-text:hover path.diagram-text {
		fill: #eee;
	}</style>
</svg>