A Simple and Efficient Universal Reversible Turing Machine View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2011

AUTHORS

Holger Bock Axelsen , Robert Glück

ABSTRACT

We construct a universal reversible Turing machine (URTM) from first principles. We take a strict approach to the semantics of reversible Turing machines (RTMs), under which they can compute exactly all injective, computable functions, but not non-injective ones. The natural notion of universality for RTMs is RTM-universality, where programs are considered part of both input and output of a URTM. The machine described here is the first URTM which does not depend on reversibilizing any existing universal machine. The interpretive overhead of the URTM is limited to a (program dependent) constant factor slowdown, with no other complexity-wise cost wrt time and space. The URTM is also able to function as an inverse interpreter for RTMs at no asymptotic cost, simply by reversing the string representing the interpreted machine. More... »

PAGES

117-128

References to SciGraph publications

  • 2007. A Universal Reversible Turing Machine in MACHINES, COMPUTATIONS, AND UNIVERSALITY
  • 2004. An Algebraic Approach to Bi-directional Updating in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2010. Reversible Pushdown Automata in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2011. What Do Reversible Programs Compute? in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2011. Clean Translation of an Imperative Reversible Programming Language in COMPILER CONSTRUCTION
  • 1993. What Computing Is All About in NONE
  • 2007. Reversible Machine Code and Its Abstract Processor Architecture in COMPUTER SCIENCE – THEORY AND APPLICATIONS
  • 2008. Reversible Flowchart Languages and the Structured Reversible Program Theorem in AUTOMATA, LANGUAGES AND PROGRAMMING
  • Book

    TITLE

    Language and Automata Theory and Applications

    ISBN

    978-3-642-21253-6
    978-3-642-21254-3

    Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-642-21254-3_8

    DOI

    http://dx.doi.org/10.1007/978-3-642-21254-3_8

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1000989884


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Copenhagen", 
              "id": "https://www.grid.ac/institutes/grid.5254.6", 
              "name": [
                "DIKU, Department of Computer Science, University of Copenhagen, Denmark"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Axelsen", 
            "givenName": "Holger Bock", 
            "id": "sg:person.015546427711.73", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015546427711.73"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Copenhagen", 
              "id": "https://www.grid.ac/institutes/grid.5254.6", 
              "name": [
                "DIKU, Department of Computer Science, University of Copenhagen, Denmark"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Gl\u00fcck", 
            "givenName": "Robert", 
            "id": "sg:person.010754010217.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-540-74593-8_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002680503", 
              "https://doi.org/10.1007/978-3-540-74593-8_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74593-8_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002680503", 
              "https://doi.org/10.1007/978-3-540-74593-8_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30477-7_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006188766", 
              "https://doi.org/10.1007/978-3-540-30477-7_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30477-7_2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006188766", 
              "https://doi.org/10.1007/978-3-540-30477-7_2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2008.01.041", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012017670"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-13089-2_31", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014064203", 
              "https://doi.org/10.1007/978-3-642-13089-2_31"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-13089-2_31", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014064203", 
              "https://doi.org/10.1007/978-3-642-13089-2_31"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74510-5_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015349256", 
              "https://doi.org/10.1007/978-3-540-74510-5_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-74510-5_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015349256", 
              "https://doi.org/10.1007/978-3-540-74510-5_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1366230.1366239", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018780610"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-70583-3_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022695518", 
              "https://doi.org/10.1007/978-3-540-70583-3_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-2710-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024630189", 
              "https://doi.org/10.1007/978-1-4612-2710-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-2710-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1024630189", 
              "https://doi.org/10.1007/978-1-4612-2710-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19805-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047299195", 
              "https://doi.org/10.1007/978-3-642-19805-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19805-2_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047299195", 
              "https://doi.org/10.1007/978-3-642-19805-2_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-19861-8_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048833860", 
              "https://doi.org/10.1007/978-3-642-19861-8_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1088/1751-8113/43/38/382002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051840463"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1142/s0129626409000171", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062907434"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.176.0525", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063180324"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/rd.53.0183", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063183065"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1364/on.11.2.000011", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1065242236"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2011", 
        "datePublishedReg": "2011-01-01", 
        "description": "We construct a universal reversible Turing machine (URTM) from first principles. We take a strict approach to the semantics of reversible Turing machines (RTMs), under which they can compute exactly all injective, computable functions, but not non-injective ones. The natural notion of universality for RTMs is RTM-universality, where programs are considered part of both input and output of a URTM. The machine described here is the first URTM which does not depend on reversibilizing any existing universal machine. The interpretive overhead of the URTM is limited to a (program dependent) constant factor slowdown, with no other complexity-wise cost wrt time and space. The URTM is also able to function as an inverse interpreter for RTMs at no asymptotic cost, simply by reversing the string representing the interpreted machine.", 
        "editor": [
          {
            "familyName": "Dediu", 
            "givenName": "Adrian-Horia", 
            "type": "Person"
          }, 
          {
            "familyName": "Inenaga", 
            "givenName": "Shunsuke", 
            "type": "Person"
          }, 
          {
            "familyName": "Mart\u00edn-Vide", 
            "givenName": "Carlos", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-642-21254-3_8", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-642-21253-6", 
            "978-3-642-21254-3"
          ], 
          "name": "Language and Automata Theory and Applications", 
          "type": "Book"
        }, 
        "name": "A Simple and Efficient Universal Reversible Turing Machine", 
        "pagination": "117-128", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-642-21254-3_8"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "04b74774eeefaf4936f952735717b647797740384df441ed81ac64412ceb9a65"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1000989884"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-642-21254-3_8", 
          "https://app.dimensions.ai/details/publication/pub.1000989884"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T13:24", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8664_00000243.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-642-21254-3_8"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-21254-3_8'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-21254-3_8'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-21254-3_8'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-21254-3_8'


     

    This table displays all metadata directly associated to this object as RDF triples.

    135 TRIPLES      23 PREDICATES      42 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-642-21254-3_8 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N9396c90b2fe74d9aba651821dcdbc7eb
    4 schema:citation sg:pub.10.1007/978-1-4612-2710-6
    5 sg:pub.10.1007/978-3-540-30477-7_2
    6 sg:pub.10.1007/978-3-540-70583-3_22
    7 sg:pub.10.1007/978-3-540-74510-5_9
    8 sg:pub.10.1007/978-3-540-74593-8_8
    9 sg:pub.10.1007/978-3-642-13089-2_31
    10 sg:pub.10.1007/978-3-642-19805-2_4
    11 sg:pub.10.1007/978-3-642-19861-8_9
    12 https://doi.org/10.1016/j.tcs.2008.01.041
    13 https://doi.org/10.1088/1751-8113/43/38/382002
    14 https://doi.org/10.1142/s0129626409000171
    15 https://doi.org/10.1145/1366230.1366239
    16 https://doi.org/10.1147/rd.176.0525
    17 https://doi.org/10.1147/rd.53.0183
    18 https://doi.org/10.1364/on.11.2.000011
    19 schema:datePublished 2011
    20 schema:datePublishedReg 2011-01-01
    21 schema:description We construct a universal reversible Turing machine (URTM) from first principles. We take a strict approach to the semantics of reversible Turing machines (RTMs), under which they can compute exactly all injective, computable functions, but not non-injective ones. The natural notion of universality for RTMs is RTM-universality, where programs are considered part of both input and output of a URTM. The machine described here is the first URTM which does not depend on reversibilizing any existing universal machine. The interpretive overhead of the URTM is limited to a (program dependent) constant factor slowdown, with no other complexity-wise cost wrt time and space. The URTM is also able to function as an inverse interpreter for RTMs at no asymptotic cost, simply by reversing the string representing the interpreted machine.
    22 schema:editor N2508cff3885a4fefbbcb55b7fa4a340a
    23 schema:genre chapter
    24 schema:inLanguage en
    25 schema:isAccessibleForFree false
    26 schema:isPartOf Ne61f85459fce44f3bdfe518b47ca60d5
    27 schema:name A Simple and Efficient Universal Reversible Turing Machine
    28 schema:pagination 117-128
    29 schema:productId N7387cc6e73c0469fbcb5a695bc7207e1
    30 Nb23dae5bff1b4c91a2f32dd8117cdb41
    31 Nd767c9e5a53d4086b505d78af984c2de
    32 schema:publisher Nb76525a3d21a474f8cb1f5f82ce5e1a3
    33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000989884
    34 https://doi.org/10.1007/978-3-642-21254-3_8
    35 schema:sdDatePublished 2019-04-15T13:24
    36 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    37 schema:sdPublisher Nd2585929504043ec8ddad9d0deaf08c0
    38 schema:url http://link.springer.com/10.1007/978-3-642-21254-3_8
    39 sgo:license sg:explorer/license/
    40 sgo:sdDataset chapters
    41 rdf:type schema:Chapter
    42 N2508cff3885a4fefbbcb55b7fa4a340a rdf:first N98cca2c8ff654b2b8f41c54433c3361a
    43 rdf:rest Nb4c36820132d4216bc561ca55a6ae1dd
    44 N2fba68fcb98c468c8475debde331fe55 rdf:first N902383d77f294c52a1b6a7bb651185a0
    45 rdf:rest rdf:nil
    46 N7387cc6e73c0469fbcb5a695bc7207e1 schema:name doi
    47 schema:value 10.1007/978-3-642-21254-3_8
    48 rdf:type schema:PropertyValue
    49 N902383d77f294c52a1b6a7bb651185a0 schema:familyName Martín-Vide
    50 schema:givenName Carlos
    51 rdf:type schema:Person
    52 N9396c90b2fe74d9aba651821dcdbc7eb rdf:first sg:person.015546427711.73
    53 rdf:rest Nde4588c8367b4a6b97761debe921889b
    54 N98cca2c8ff654b2b8f41c54433c3361a schema:familyName Dediu
    55 schema:givenName Adrian-Horia
    56 rdf:type schema:Person
    57 Nb23dae5bff1b4c91a2f32dd8117cdb41 schema:name dimensions_id
    58 schema:value pub.1000989884
    59 rdf:type schema:PropertyValue
    60 Nb4c36820132d4216bc561ca55a6ae1dd rdf:first Nc9b328aecce24f7d9c0ac55d9a8a934c
    61 rdf:rest N2fba68fcb98c468c8475debde331fe55
    62 Nb76525a3d21a474f8cb1f5f82ce5e1a3 schema:location Berlin, Heidelberg
    63 schema:name Springer Berlin Heidelberg
    64 rdf:type schema:Organisation
    65 Nc9b328aecce24f7d9c0ac55d9a8a934c schema:familyName Inenaga
    66 schema:givenName Shunsuke
    67 rdf:type schema:Person
    68 Nd2585929504043ec8ddad9d0deaf08c0 schema:name Springer Nature - SN SciGraph project
    69 rdf:type schema:Organization
    70 Nd767c9e5a53d4086b505d78af984c2de schema:name readcube_id
    71 schema:value 04b74774eeefaf4936f952735717b647797740384df441ed81ac64412ceb9a65
    72 rdf:type schema:PropertyValue
    73 Nde4588c8367b4a6b97761debe921889b rdf:first sg:person.010754010217.31
    74 rdf:rest rdf:nil
    75 Ne61f85459fce44f3bdfe518b47ca60d5 schema:isbn 978-3-642-21253-6
    76 978-3-642-21254-3
    77 schema:name Language and Automata Theory and Applications
    78 rdf:type schema:Book
    79 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    80 schema:name Information and Computing Sciences
    81 rdf:type schema:DefinedTerm
    82 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    83 schema:name Computation Theory and Mathematics
    84 rdf:type schema:DefinedTerm
    85 sg:person.010754010217.31 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    86 schema:familyName Glück
    87 schema:givenName Robert
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010754010217.31
    89 rdf:type schema:Person
    90 sg:person.015546427711.73 schema:affiliation https://www.grid.ac/institutes/grid.5254.6
    91 schema:familyName Axelsen
    92 schema:givenName Holger Bock
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015546427711.73
    94 rdf:type schema:Person
    95 sg:pub.10.1007/978-1-4612-2710-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024630189
    96 https://doi.org/10.1007/978-1-4612-2710-6
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/978-3-540-30477-7_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006188766
    99 https://doi.org/10.1007/978-3-540-30477-7_2
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/978-3-540-70583-3_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022695518
    102 https://doi.org/10.1007/978-3-540-70583-3_22
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/978-3-540-74510-5_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015349256
    105 https://doi.org/10.1007/978-3-540-74510-5_9
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/978-3-540-74593-8_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002680503
    108 https://doi.org/10.1007/978-3-540-74593-8_8
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/978-3-642-13089-2_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014064203
    111 https://doi.org/10.1007/978-3-642-13089-2_31
    112 rdf:type schema:CreativeWork
    113 sg:pub.10.1007/978-3-642-19805-2_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047299195
    114 https://doi.org/10.1007/978-3-642-19805-2_4
    115 rdf:type schema:CreativeWork
    116 sg:pub.10.1007/978-3-642-19861-8_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048833860
    117 https://doi.org/10.1007/978-3-642-19861-8_9
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1016/j.tcs.2008.01.041 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012017670
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1088/1751-8113/43/38/382002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051840463
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1142/s0129626409000171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062907434
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1145/1366230.1366239 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018780610
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1147/rd.176.0525 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063180324
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1147/rd.53.0183 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063183065
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1364/on.11.2.000011 schema:sameAs https://app.dimensions.ai/details/publication/pub.1065242236
    132 rdf:type schema:CreativeWork
    133 https://www.grid.ac/institutes/grid.5254.6 schema:alternateName University of Copenhagen
    134 schema:name DIKU, Department of Computer Science, University of Copenhagen, Denmark
    135 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...