Handbook of Formal Languages: Volume 1. Word, Language, GrammarThis first volume of the Handbook of Formal Languages gives a comprehensive authoritative exposition on the core of language theory. Grammars, codes, power series, L systems, and combinatorics on words are all discussed in a thorough, yet self-contained manner. This is perhaps the most informative single volume in the history of theoretical computer science. |
Contents
I | 1 |
II | 3 |
III | 7 |
IV | 9 |
VI | 10 |
VII | 12 |
VIII | 15 |
IX | 19 |
CLXIV | 418 |
CLXVI | 422 |
CLXVII | 423 |
CLXIX | 427 |
CLXX | 431 |
CLXXI | 439 |
CLXXIII | 441 |
CLXXV | 442 |
X | 24 |
XI | 27 |
XIII | 31 |
XIV | 33 |
XV | 35 |
XVI | 36 |
XVII | 38 |
XVIII | 41 |
XIX | 43 |
XX | 45 |
XXII | 49 |
XXIII | 54 |
XXIV | 66 |
XXV | 70 |
XXVII | 71 |
XXVIII | 74 |
XXIX | 77 |
XXX | 80 |
XXXI | 82 |
XXXII | 88 |
XXXIII | 92 |
XXXIV | 96 |
XXXVI | 102 |
XXXVII | 105 |
XXXVIII | 111 |
XL | 112 |
XLI | 113 |
XLII | 114 |
XLIII | 115 |
XLIV | 120 |
XLV | 121 |
XLVI | 123 |
XLVII | 124 |
XLIX | 125 |
L | 133 |
LI | 134 |
LII | 135 |
LIII | 136 |
LIV | 138 |
LVII | 144 |
LVIII | 151 |
LIX | 154 |
LX | 156 |
LXII | 160 |
LXIII | 163 |
LXIV | 164 |
LXV | 165 |
LXVI | 167 |
LXVII | 169 |
LXVIII | 170 |
LXIX | 172 |
LXX | 175 |
LXXII | 176 |
LXXIII | 180 |
LXXV | 184 |
LXXVI | 186 |
LXXVII | 190 |
LXXVIII | 191 |
LXXIX | 192 |
LXXX | 194 |
LXXXI | 196 |
LXXXII | 197 |
LXXXIII | 199 |
LXXXIV | 204 |
LXXXV | 210 |
LXXXVI | 214 |
LXXXVII | 218 |
LXXXVIII | 221 |
LXXXIX | 222 |
XC | 226 |
XCI | 229 |
XCII | 230 |
XCIII | 232 |
XCIV | 234 |
XCV | 238 |
XCVI | 241 |
XCVII | 242 |
XCIX | 243 |
C | 245 |
CI | 246 |
CII | 253 |
CIV | 254 |
CV | 256 |
CVI | 257 |
CVII | 264 |
CVIII | 268 |
CIX | 275 |
CX | 281 |
CXI | 285 |
CXII | 288 |
CXIII | 294 |
CXIV | 298 |
CXV | 301 |
CXVI | 305 |
CXVII | 308 |
CXVIII | 312 |
CXIX | 322 |
CXX | 324 |
CXXI | 329 |
CXXIII | 331 |
CXXIV | 332 |
CXXV | 334 |
CXXVI | 337 |
CXXVII | 338 |
CXXVIII | 339 |
CXXIX | 342 |
CXXXI | 347 |
CXXXII | 351 |
CXXXIII | 354 |
CXXXV | 357 |
CXXXVI | 360 |
CXXXVII | 364 |
CXXXVIII | 366 |
CXXXIX | 367 |
CXL | 370 |
CXLII | 371 |
CXLIII | 372 |
CXLIV | 374 |
CXLV | 376 |
CXLVII | 377 |
CXLVIII | 380 |
CXLIX | 385 |
CL | 389 |
CLI | 390 |
CLII | 391 |
CLIII | 394 |
CLIV | 395 |
CLV | 398 |
CLVI | 400 |
CLVII | 404 |
CLVIII | 405 |
CLIX | 408 |
CLXI | 409 |
CLXII | 415 |
CLXIII | 416 |
CLXXVI | 443 |
CLXXVII | 445 |
CLXXVIII | 446 |
CLXXX | 449 |
CLXXXI | 451 |
CLXXXII | 456 |
CLXXXIV | 460 |
CLXXXV | 461 |
CLXXXVI | 463 |
CLXXXVII | 466 |
CLXXXVIII | 468 |
CXC | 470 |
CXCI | 471 |
CXCII | 474 |
CXCIII | 477 |
CXCIV | 478 |
CXCVI | 483 |
CXCVII | 484 |
CXCVIII | 486 |
CXCIX | 487 |
CCI | 488 |
CCII | 490 |
CCIII | 492 |
CCV | 493 |
CCVI | 496 |
CCVII | 498 |
CCVIII | 500 |
CCIX | 501 |
CCX | 502 |
CCXI | 504 |
CCXII | 505 |
CCXIII | 511 |
CCXV | 516 |
CCXVI | 522 |
CCXVII | 530 |
CCXVIII | 541 |
CCXIX | 545 |
CCXX | 558 |
CCXXI | 567 |
CCXXII | 575 |
CCXXIII | 582 |
CCXXIV | 585 |
CCXXV | 595 |
CCXXVI | 600 |
CCXXVIII | 609 |
CCXXX | 610 |
CCXXXI | 619 |
CCXXXII | 626 |
CCXXXIII | 631 |
CCXXXIV | 637 |
CCXXXV | 644 |
CCXXXVI | 658 |
CCXXXVII | 662 |
CCXXXVIII | 667 |
CCXXXIX | 671 |
CCXL | 679 |
CCXLII | 681 |
CCXLV | 682 |
CCXLVI | 683 |
CCXLVII | 684 |
CCXLIX | 685 |
CCLI | 686 |
CCLII | 687 |
CCLIV | 688 |
CCLV | 689 |
CCLVI | 691 |
CCLVII | 692 |
CCLIX | 695 |
CCLX | 697 |
CCLXI | 698 |
CCLXII | 699 |
CCLXIII | 701 |
CCLXIV | 705 |
CCLXVI | 706 |
CCLXVII | 708 |
CCLXIX | 712 |
CCLXX | 716 |
CCLXXII | 717 |
CCLXXIII | 718 |
CCLXXIV | 719 |
CCLXXV | 720 |
CCLXXVI | 721 |
CCLXXVII | 722 |
CCLXXVIII | 723 |
CCLXXIX | 727 |
CCLXXX | 728 |
CCLXXXI | 730 |
CCLXXXII | 731 |
CCLXXXIII | 733 |
CCLXXXIV | 735 |
CCLXXXV | 736 |
CCLXXXVI | 738 |
CCLXXXVII | 747 |
CCLXXXVIII | 749 |
CCXC | 751 |
CCXCI | 753 |
CCXCII | 754 |
CCXCIII | 756 |
CCXCIV | 759 |
CCXCV | 764 |
CCXCVII | 767 |
CCXCVIII | 771 |
CCXCIX | 775 |
CCC | 779 |
CCCI | 782 |
CCCII | 783 |
CCCIII | 785 |
CCCIV | 786 |
CCCV | 789 |
CCCVI | 790 |
CCCVII | 792 |
CCCVIII | 795 |
CCCIX | 796 |
CCCXI | 798 |
CCCXII | 800 |
CCCXIII | 803 |
CCCXIV | 806 |
CCCXV | 811 |
CCCXVII | 813 |
CCCXVIII | 818 |
CCCXIX | 821 |
CCCXX | 825 |
CCCXXI | 829 |
CCCXXII | 834 |
CCCXXIII | 835 |
CCCXXIV | 838 |
CCCXXV | 843 |
CCCXXVI | 847 |
CCCXXVII | 851 |
CCCXXVIII | 853 |
CCCXXIX | 856 |
CCCXXX | 859 |
863 | |
Other editions - View all
Common terms and phrases
algorithm alphabet attribute grammar automaton binary boolean characterization closure Computer Science condition consider construction contains context-free grammar context-free languages context-sensitive languages Corollary decidable defined definition denote derivation deterministic DOL system elements EOL forms equality set example exists factor family of languages finite automata finite set formal language free monoid function given grammar form grammar G Greibach normal form guages Hence idempotent implies infinite word input integer language theory least solution Lemma length letter linear mapping Math matrix morphism morphism h nonterminal notion obtained ordered semigroups permutation polynomial power series prefix code proof Proposition prove pushdown rational recursively enumerable languages regular expression regular languages relation resp result Salomaa satisfies Section semiring sequence Springer-Verlag subset subword suffix symbols syntactic syntactic monoid system of equations Theorem transducer undecidable variables variety of finite