This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
| lectures:books:rga [2017/05/03 15:48] – Added a new error. izemek | lectures:books:rga [2018/11/07 15:26] – krivka | ||
|---|---|---|---|
| Line 93: | Line 93: | ||
| * In Definition 3.3.1, instead of //x = x_1ux_2, y = y_1vy_2//, there should be //x = x_1ux_2, y = x_1vx_2//. The subsequent occurrences of //y_1// and //y_2// should be removed from the definition. | * In Definition 3.3.1, instead of //x = x_1ux_2, y = y_1vy_2//, there should be //x = x_1ux_2, y = x_1vx_2//. The subsequent occurrences of //y_1// and //y_2// should be removed from the definition. | ||
| * Reported 2017-05-02 by Radek Vít of Brno University of Technology. | * Reported 2017-05-02 by Radek Vít of Brno University of Technology. | ||
| + | |||
| + | * Page 511, Chapter 15 (Self-Regulating Automata), Section 15.1.1 (Definitions and Examples) | ||
| + | * In Definition 15.1.2, instead of "j = 0, 1, ..., n", there should be "j = 0, 1, ..., n-1". | ||
| + | * Reported 2018-11-06 by Roman Andriushchenko of Brno University of Technology. | ||
| + | |||
| + | * Page 511, Chapter 15 (Self-Regulating Automata), Section 15.1.1 (Definitions and Examples) | ||
| + | * In Example 15.1.3, 1-first-SFA //M// does not accept //ab//, so //L(M)// should be //{a^n b^n | n > 1}//. Note that we get original //L(M)// by adding //(2,3)// into the last component of //M//. | ||
| + | * Reported 2018-11-06 by Roman Andriushchenko of Brno University of Technology. | ||
| * Page 576, Chapter 17 (Jumping Finite Automata), Section 17.4 (Closure Properties) | * Page 576, Chapter 17 (Jumping Finite Automata), Section 17.4 (Closure Properties) | ||