Handbook of Theoretical Computer ScienceJan van Leeuwen, Jan Leeuwen Elsevier Science, 15 nov 2005 - 2269 pagina's Presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing. |
Vanuit het boek
Resultaten 1-3 van 86
Pagina 398
... maps F = < Fo , Fa > with - • Fo : C ° → D ° mapping objects to objects ; Fa : Ca → Da mapping arrows to arrows , such that if fab , then Fa ( f ) : F ° ( a ) → F ° ( b ) , • Fa ( id ) = id Fo ( a ) • Fa ( fog ) = Fa ( ƒ ) © Fa ( g ) ...
... maps F = < Fo , Fa > with - • Fo : C ° → D ° mapping objects to objects ; Fa : Ca → Da mapping arrows to arrows , such that if fab , then Fa ( f ) : F ° ( a ) → F ° ( b ) , • Fa ( id ) = id Fo ( a ) • Fa ( fog ) = Fa ( ƒ ) © Fa ( g ) ...
Pagina 465
... mapping , i.e. , the mapping associating with a scheme S = ( 2 , t ) of profile s1 ... Ss and with an F - interpretation D the function computed by S in D , denoted by SD . It will be a mapping D ,, × × Dsn → Ds . ... Several distinct ...
... mapping , i.e. , the mapping associating with a scheme S = ( 2 , t ) of profile s1 ... Ss and with an F - interpretation D the function computed by S in D , denoted by SD . It will be a mapping D ,, × × Dsn → Ds . ... Several distinct ...
Pagina 594
... mapping in , ( x ) to the value of f ( x ) for 1≤i≤n ( but mapping 1 to 1 ) . Lifted domains ⚫d denotes the lifted domain d ' obtained by adding a new L under ( a distinguished copy of ) d . ⚫ up , denotes the function that maps ...
... mapping in , ( x ) to the value of f ( x ) for 1≤i≤n ( but mapping 1 to 1 ) . Lifted domains ⚫d denotes the lifted domain d ' obtained by adding a new L under ( a distinguished copy of ) d . ⚫ up , denotes the function that maps ...
Inhoudsopgave
Dominique PERRIN | 3 |
PREFACE LIST OF CONTRIBUTORS TO VOLUME B CONTENTS CHAPTER 1 FINITE AUTOMATA D Perrin 1 Introduction | 4 |
Finite automata and recognizable sets | 10 |
Copyright | |
41 andere gedeelten niet getoond
Overige edities - Alles bekijken
Veelvoorkomende woorden en zinsdelen
A₁ abstraction algebraic algorithm alphabet applicative structure automaton axioms B₁ Berlin binary Büchi automata Cartesian closed categories Church-Rosser clause complete Computer Science congruence consider context-free grammar context-free languages Corollary Courcelle critical pairs defined definition denote derivation Dershowitz deterministic elements empty equations example exists expressions F-algebra first-order formula free variable function Functional Programming given graph Hence Henkin models Herbrand hypergraphs induction infinite trees integer interpretation lambda abstraction Lecture Notes Lemma logic programming logical relations mapping monadic monadic second-order monoid morphism multiset natural numbers nonempty normal form Notes in Computer notion operations ordering polymorphic predicate problem Proc program schemes programming languages proof properties Proposition prove recursive reduction regular result rewriting systems satisfying second-order logic Section semantics sequence Springer subset substitution subterm symbols Symp t₁ terminating Theorem theory tree automata tree automaton type inference typed lambda calculus U₁ w-languages w-words word