rieshandbuch.htm

Pasc+Java 这是一个国外的随机自动机*(RAM)一个学习用的程序

	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";}
p.MsoToc8, li.MsoToc8, div.MsoToc8
	{mso-style-update:auto;
	mso-style-next:Standard;
	margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:70.0pt;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";}
p.MsoToc9, li.MsoToc9, div.MsoToc9
	{mso-style-update:auto;
	mso-style-next:Standard;
	margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:80.0pt;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";}
p.MsoHeader, li.MsoHeader, div.MsoHeader
	{margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	tab-stops:center 8.0cm right 16.0cm;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";}
p.MsoFooter, li.MsoFooter, div.MsoFooter
	{margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	tab-stops:center 8.0cm right 16.0cm;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";}
p.MsoIndexHeading, li.MsoIndexHeading, div.MsoIndexHeading
	{mso-style-next:"Index 1";
	margin-top:12.0pt;
	margin-right:0cm;
	margin-bottom:6.0pt;
	margin-left:0cm;
	mso-pagination:widow-orphan;
	font-size:9.0pt;
	mso-bidi-font-size:15.5pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	font-weight:bold;}
p.MsoCaption, li.MsoCaption, div.MsoCaption
	{mso-style-next:Standard;
	margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:6.0pt;
	margin-left:0cm;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	font-weight:bold;}
p.MsoBodyText, li.MsoBodyText, div.MsoBodyText
	{margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	color:red;}
p.MsoBodyText2, li.MsoBodyText2, div.MsoBodyText2
	{margin-top:0cm;
	margin-right:0cm;
	margin-bottom:6.0pt;
	margin-left:0cm;
	text-align:center;
	mso-pagination:widow-orphan;
	font-size:8.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	color:black;
	font-weight:bold;
	mso-bidi-font-weight:normal;}
a:link, span.MsoHyperlink
	{color:blue;
	text-decoration:underline;
	text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
	{color:purple;
	text-decoration:underline;
	text-underline:single;}
p.MsoDocumentMap, li.MsoDocumentMap, div.MsoDocumentMap
	{margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	background:navy;
	font-size:10.0pt;
	font-family:Tahoma;
	mso-fareast-font-family:"Times New Roman";}
p
	{margin-right:0cm;
	mso-margin-top-alt:auto;
	mso-margin-bottom-alt:auto;
	margin-left:0cm;
	mso-pagination:widow-orphan;
	font-size:12.0pt;
	font-family:"Arial Unicode MS";}
p.berschrift, li.berschrift, div.berschrift
	{mso-style-name:躡erschrift;
	mso-style-next:Textk鰎per;
	margin-top:24.0pt;
	margin-right:0cm;
	margin-bottom:6.0pt;
	margin-left:0cm;
	text-align:right;
	mso-pagination:widow-orphan;
	page-break-after:avoid;
	font-size:48.0pt;
	mso-bidi-font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	color:blue;}
p.WW-Textkrper2, li.WW-Textkrper2, div.WW-Textkrper2
	{mso-style-name:"WW-Textk鰎per 2";
	margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";}
p.Rahmeninhalt, li.Rahmeninhalt, div.Rahmeninhalt
	{mso-style-name:Rahmeninhalt;
	mso-style-parent:Textk鰎per;
	margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	color:red;}
p.TabellenInhalt, li.TabellenInhalt, div.TabellenInhalt
	{mso-style-name:"Tabellen Inhalt";
	mso-style-parent:Textk鰎per;
	margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:Arial;
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";
	color:red;}
p.CourierNew, li.CourierNew, div.CourierNew
	{mso-style-name:"Courier New";
	margin-top:6.0pt;
	margin-right:0cm;
	margin-bottom:0cm;
	margin-left:0cm;
	margin-bottom:.0001pt;
	text-align:justify;
	mso-pagination:widow-orphan;
	font-size:10.0pt;
	font-family:"Courier New";
	mso-fareast-font-family:"Times New Roman";
	mso-bidi-font-family:"Times New Roman";}
span.WW-Absatz-Standardschriftart
	{mso-style-name:WW-Absatz-Standardschriftart;
	mso-style-parent:"";}
span.WW-Absatz-Standardschriftart1
	{mso-style-name:WW-Absatz-Standardschriftart1;
	mso-style-parent:"";}
span.WW-Absatz-Standardschriftart11
	{mso-style-name:WW-Absatz-Standardschriftart11;
	mso-style-parent:"";}
 /* Page Definitions */
@page
	{mso-mirror-margins:yes;
	mso-page-border-surround-header:no;
	mso-page-border-surround-footer:no;
	mso-facing-pages:yes;
	mso-footnote-position:beneath-text;}
@page Section1
	{size:419.6pt 21.0cm;
	margin:3.0cm 70.9pt 60.95pt 70.9pt;
	mso-header-margin:35.45pt;
	mso-footer-margin:35.45pt;
	border-top:solid windowtext .5pt;
	border-left:none;
	border-bottom:solid windowtext .5pt;
	border-right:none;
	padding:8.0pt 0cm 5.0pt 0cm;
	mso-page-border-offset-from:text;
	mso-title-page:yes;
	mso-even-header:url("./RiesHandbuch-Dateien/header.htm") eh1;
	mso-header:url("./RiesHandbuch-Dateien/header.htm") h1;
	mso-even-footer:url("./RiesHandbuch-Dateien/header.htm") ef1;
	mso-footer:url("./RiesHandbuch-Dateien/header.htm") f1;
	mso-first-header:url("./RiesHandbuch-Dateien/header.htm") fh1;
	mso-paper-source:0;}
div.Section1
	{page:Section1;}
@page Section2
	{size:419.6pt 21.0cm;
	margin:3.0cm 70.9pt 60.95pt 70.9pt;
	mso-header-margin:35.45pt;
	mso-footer-margin:35.45pt;
	border-top:solid windowtext .5pt;
	border-left:none;
	border-bottom:solid windowtext .5pt;
	border-right:none;
	padding:8.0pt 0cm 5.0pt 0cm;
	mso-page-border-offset-from:text;
	mso-page-numbers:1;
	mso-even-header:url("./RiesHandbuch-Dateien/header.htm") eh2;
	mso-header:url("./RiesHandbuch-Dateien/header.htm") h2;
	mso-even-footer:url("./RiesHandbuch-Dateien/header.htm") ef2;
	mso-footer:url("./RiesHandbuch-Dateien/header.htm") f2;
	mso-first-header:url("./RiesHandbuch-Dateien/header.htm") fh2;
	mso-paper-source:0;}
div.Section2
	{page:Section2;}
@page Section3
	{size:419.6pt 21.0cm;
	margin:3.0cm 70.9pt 60.95pt 70.9pt;
	mso-header-margin:35.45pt;
	mso-footer-margin:35.45pt;
	border-top:solid windowtext .5pt;
	border-left:none;
	border-bottom:solid windowtext .5pt;
	border-right:none;
	padding:8.0pt 0cm 5.0pt 0cm;
	mso-page-border-offset-from:text;
	mso-even-header:url("./RiesHandbuch-Dateien/header.htm") eh2;
	mso-header:url("./RiesHandbuch-Dateien/header.htm") h3;
	mso-even-footer:url("./RiesHandbuch-Dateien/header.htm") ef2;
	mso-footer:url("./RiesHandbuch-Dateien/header.htm") f3;
	mso-first-header:url("./RiesHandbuch-Dateien/header.htm") fh2;
	mso-paper-source:0;}
div.Section3
	{page:Section3;}
@page Section4
	{size:419.6pt 21.0cm;
	margin:3.0cm 70.9pt 60.95pt 70.9pt;
	mso-header-margin:36.0pt;
	mso-footer-margin:36.0pt;
	border-top:solid windowtext .5pt;
	border-left:none;
	border-bottom:solid windowtext .5pt;
	border-right:none;
	padding:8.0pt 0cm 5.0pt 0cm;
	mso-page-border-offset-from:text;
	mso-even-header:url("./RiesHandbuch-Dateien/header.htm") eh4;
	mso-header:url("./RiesHandbuch-Dateien/header.htm") h3;
	mso-even-footer:url("./RiesHandbuch-Dateien/header.htm") ef4;
	mso-footer:url("./RiesHandbuch-Dateien/header.htm") f3;
	mso-first-header:url("./RiesHandbuch-Dateien/header.htm") fh2;
	mso-paper-source:0;}
div.Section4
	{page:Section4;}
@page Section5
	{size:419.6pt 21.0cm;
	margin:3.0cm 70.9pt 60.95pt 70.9pt;
	mso-header-margin:35.45pt;
	mso-footer-margin:35.45pt;
	border-top:solid windowtext .5pt;
	border-left:none;
	border-bottom:solid windowtext .5pt;
	border-right:none;
	padding:8.0pt 0cm 5.0pt 0cm;
	mso-page-border-offset-from:text;
	mso-even-header:url("./RiesHandbuch-Dateien/header.htm") eh4;
	mso-header:url("./RiesHandbuch-Dateien/header.htm") h3;
	mso-even-footer:url("./RiesHandbuch-Dateien/header.htm") ef5;
	mso-footer:url("./RiesHandbuch-Dateien/header.htm") f5;
	mso-first-header:url("./RiesHandbuch-Dateien/header.htm") fh2;
	mso-paper-source:0;}
div.Section5
	{page:Section5;}
 /* List Definitions */
@list l0
	{mso-list-id:1;
	mso-list-template-ids:1;
	mso-list-name:WW8Num1;}
@list l0:level1
	{mso-level-number-format:none;
	mso-level-style-link:"躡erschrift 1";
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level2
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level3
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level4
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level5
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level6
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level7
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level8
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
@list l0:level9
	{mso-level-number-format:none;
	mso-level-suffix:none;
	mso-level-text:"";
	mso-level-tab-stop:none;
	mso-level-number-position:left;
	margin-left:0cm;
	text-indent:0cm;}
ol
	{margin-bottom:0cm;}
ul
	{margin-bottom:0cm;}
-->
  </style> <!--[if gte mso 9]><xml>
 <o:shapedefaults v:ext="edit" spidmax="11265">
  <o:colormenu v:ext="edit" fillcolor="none [4]" strokecolor="none [1]"
   shadowcolor="none [2]"/>
 </o:shapedefaults></xml><![endif]--><!--[if gte mso 9]><xml>
 <o:shapelayout v:ext="edit">
  <o:idmap v:ext="edit" data="1"/>
 </o:shapelayout></xml><![endif]-->
</head>
  <body bgcolor="#00b8ff" lang="DE" link="blue" vlink="purple" style="">
  
<div class="Section1">  
<p class="berschrift" style="margin-right: 419.05pt;"><a
 name="_Toc12845945"><b>Ries</b></a><b><o:p></o:p></b></p>
  
<p class="berschrift" style="margin: 0cm 419.05pt 1e-04pt 0cm;"><a
 name="_Toc12845946"></a><a name="_Toc14514843"><span style=""><b>Handbuch</b></span></a><b><o:p></o:p></b></p>
  
<p class="MsoNormal"><!--[if !supportEmptyParas]-->