PLC Project - Revision history

Beh01: /* Expression */

2026-03-24T07:38:11Z

Expression

Beh01: /* Expression */

2026-03-23T10:15:58Z

Expression

Beh01: /* Expression */

2026-03-23T10:09:24Z

Expression

Beh01: /* Our (Stack-based) Instructions Set */

2025-03-26T10:52:56Z

Our (Stack-based) Instructions Set

Beh01: /* Our (Stack-based) Instructions Set */

2025-03-26T07:39:49Z

Our (Stack-based) Instructions Set

Beh01: /* Our (Stack-based) Instructions Set */

2025-03-26T07:32:52Z

Our (Stack-based) Instructions Set

Beh01 at 08:34, 28 March 2024

2024-03-28T08:34:41Z

Beh01: /* Sample Inputs */

2022-03-16T10:22:28Z

Sample Inputs

Beh01: /* Expression */

2022-03-16T09:18:04Z

Expression

Beh01: /* Our (Stack-based) Instructions Set */

2022-03-16T08:59:25Z

Our (Stack-based) Instructions Set

@@ Line 84: / Line 84: @@
 | assignment
 | <code>=</code>
-| <code>x × x → B, where x ∈ {I, F, S, B}</code>
+| <code>x × x → x, where x ∈ {I, F, S, B}</code>
 |}

@@ Line 56: / Line 56: @@
 | binary arithmetic operators
 | <code>+, -, *, /</code>
-| <math>I \times I \rightarrow  I \lor  F \times F \rightarrow  F </math>
+| <code>I × I → I ∨ F × F → F</code>
 |-
 | modulo
 | <code>%</code>
-| <math>I \times I \rightarrow  I </math>
+| <code>I × I → I </code>
 |-
 | concatenation of strings
 | <code>.</code>
-| <math>S \times S \rightarrow  S </math>
+| <code>S × S → S</code>
 |-
 | relational operators
 | <code>< ></code>
-| <math>x \times x \rightarrow  B,~where~x \in \{I, F\}</math>
+| <code>x × x → B, where x ∈ {I, F}</code>
 |-
 | comparison
 | <code>== !=</code>
-| <math>x \times x \rightarrow  B,~where~x \in \{I, F, S\}</math>
+| <code>x × x → B, where x ∈ {I, F, S}</code>
 |-
 | logic and, or
 | <code>&&, <nowiki>|</nowiki><nowiki>|</nowiki> </code>
-| <math>B \times B \rightarrow  B </math>
+| <code>B × B → B </code>
 |-
 | logic not
 | <code>!</code>
-| <math>B \rightarrow B</math>
+| <code>B → B</code>
 |-
 | assignment
 | <code>=</code>
-| <math>x \times x \rightarrow  x,~where~x \in \{I, F, S, B\}</math>
+| <code>x × x → B, where x ∈ {I, F, S, B}</code>
 |}

@@ Line 52: / Line 52: @@
 | unnary minus
 | <code>-</code>
-| <math>I \rightarrow  I \lor  F \rightarrow  F </math>
+| <code>I → I ∨  F →  F </code>
 |-
 | binary arithmetic operators

@@ Line 130: / Line 130: @@
 | binary <code>*</code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
-| <code>div</code>
+| <code>div T</code>
 | binary <code>/</code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-

@@ Line 122: / Line 122: @@
 |-
 | <code>add T</code>
-| binary <code>+</code>, using two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code>, <code>F - float</code>, <code>S - string</code>, <code>B - bool</code>.
+| binary <code>+</code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
 | <code>sub T</code>
-| binary <code>-</code>, using two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code>, <code>F - float</code>, <code>S - string</code>, <code>B - bool</code>.
+| binary <code>-</code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
 | <code>mul T</code>
-| binary <code>*</code>
+| binary <code>*</code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
 | <code>div</code>
-| binary <code>/</code>
+| binary <code>/</code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
 | <code>mod</code>
-| binary <code>%</code>
+| binary <code>%</code>, uses two values of type <code>int</code>.
 |-
 | <code>uminus T</code>
-| unary <code>-</code>
+| unary <code>-</code>, uses a values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
 | <code>concat</code>
-| binary <code>.</code> - concatenation od strings
+| binary <code>.</code> - concatenation of type <code>strings</code>
 |-
 | <code>and</code>
-| binary <code>&&</code>
+| binary <code>&&</code>, uses two values of type <code>bool</code>.
 |-
 | <code>or</code>
-| binary <code><nowiki>|</nowiki><nowiki>|</nowiki></code>
+| binary <code><nowiki>|</nowiki><nowiki>|</nowiki></code>, uses two values of type <code>bool</code>.
 |-
 | <code>gt T</code>
-| binary <code>></code>
+| binary <code>></code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
 | <code>lt T</code>
-| binary <code><</code>
+| binary <code><</code>, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code> or <code>F - float</code>.
 |-
 | <code>eq T</code>
-| binary <code>==</code> - campares two values
+| binary <code>==</code> - compares two values, uses two values of type <code>T</code>, where <code>T</code> is: <code>I - int</code>, <code>F - float</code> or <code>S - string</code>.
 |-
 | <code>not</code>
-| unary <code>!</code> - negating boolean value
+| unary <code>!</code> - negating bool value
 |-
 | <code>itof</code>
-| Instruction takes int value from the stack, converts it to float and returns it to stack.
+| Instruction takes <code>int</code> value from the stack, converts it to <code>float</code> and returns it to stack.
 |-
 | <code>push T x</code>

@@ Line 35: / Line 35: @@
 * <code>read variable, variable, ... ;</code> - it reads values from standard input and then these values are assigned to corresponding variables. Each of these input values is on a separate line and it is verified, that have an appropriate type.
 * <code>write expression, expression, ... ;</code> - it writes values of expressions to standard output. The <code>"\n"</code> character is written after the value of the last expression.
-* <code>{ statement, statement, ... }</code> - block of statements.
+* <code>{ statement statement ... }</code> - block of statements.
 * <code>if (condition) statement [else statement] </code> - conditional statement - condition is an expression with a type: <code>bool</code>. The else part of the statement is optional.
 * <code>while (condition) statement </code> - a cycle  - condition must be a <code>bool</code> expression. This cycle repeats the given statement while the condition holds (it is <code>true</code>).

@@ Line 106: / Line 106: @@
 Sample inputs:
-* [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t1.in Sample input 1]
+* [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t1.in Sample input 1] [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t1.out Generated code for sample input 1]
-* [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t2.in Sample input 2]
+* [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t2.in Sample input 2] [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t2.out Generated code for sample input 2]
-* [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t3.in Sample input 3]
+* [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t3.in Sample input 3] [http://linedu.vsb.cz/~beh01/wiki_data/PLC_t3.out Generated code for sample input 3]
 Sample input contaning errors:
+* [http://linedu.vsb.cz/~beh01/wiki_data/PLC_errors.in Sample errors]
 == Our (Stack-based) Instructions Set ==

@@ Line 156: / Line 156: @@
 | <code>not</code>
 | unary <code>!</code> - negating boolean value
 |-
 | <code>push T x</code>
@@ Line 162: / Line 165: @@
 | <code>pop</code>
 | Instruction takes on value from the stack and discards it.
 |-
 | <code>load id</code>