Loading...
Please wait, while we are loading the content...
Similar Documents
§5. Context-free languages and t ree a u to mata
| Content Provider | Scilit |
|---|---|
| Author | Rosenthal, K. I. |
| Copyright Year | 2014 |
| Description | Now t h a t we h a ve an explicit calculation of jfiCH), let us consider some special cases. 1) Suppose h,k : [1] —» [n] are n - a r y operations. Then, using jg we obtain jB(h) = JB^) iff for all u n a r y operations f, for all n - tuples of te rm s( t r ee s ) (x i ,x 2 ,....xn ): f (h (x i ,x 2 ,....,xn )) € B iff f(k(xi,x 2 ,- . ,xn )) € B 2) Let us simplify this first example to w here n = 0, i.e. h and k a re trees. If T= srf([l],[0]) is the free srf-algebra of all stf-trees, then we obtain from jg the congruence on T defined by (h,k) € iff JB(h) = j s (k ) iff for all u n a r y opera t ions f, f(h) € B iff f(k) € B. Book Name: The Theory of Quantaloids |
| Related Links | https://content.taylorfrancis.com/books/download?dac=C2006-0-18880-8&isbn=9780429157028&doi=10.1201/9781498710404-18&format=pdf |
| Ending Page | 123 |
| Page Count | 12 |
| Starting Page | 112 |
| DOI | 10.1201/9781498710404-18 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2014-07-22 |
| Access Restriction | Open |
| Subject Keyword | Book Name: The Theory of Quantaloids Language Studies Tuples Suppose Simplify |
| Content Type | Text |
| Resource Type | Chapter |
