some remarks on
play

Some remarks on ! 2 e 00 E ! 2 e 00 E w equivalence of - PowerPoint PPT Presentation

E e E e 0 E Some remarks on ! 2 e 00 E ! 2 e 00 E w equivalence of graph-to-graph transducers inc( w, e 0 ) inc( w, e 00 ) Schmude, J. Boja czyk, M. University of Warsaw Highlights of Logic,


  1. ∃ E e ∈ E ∧ ∀ e 0 ∈ E Some remarks on ∃ ! 2 e 00 ∈ E ∧ ∃ ! 2 e 00 ∈ E ∃ w equivalence of graph-to-graph transducers inc( w, e 0 ) ∧ inc( w, e 00 ) Schmude, J. Boja ń czyk, M. University of Warsaw Highlights of Logic, Games and Automata 2020, September 15-18

  2. <latexit sha1_base64="uWCbEYn82afSBWJvipScetRC9VA=">ACGnicbVC7SgNBFJ2NrxhfUubxSBYhV2JaBm0sYxgHpAs4c7sJBky+3DmrCEfIeNhf6Kndja+CeWziZbmMQDA4dz7p17ODSWQqPjfFuFtfWNza3idmlnd2/oHx41NJRohvskhGqkNBcylC3kSBkndixSGgkrfp+Dbz209caRGFD5jG3AtgGIqBYIBG8igAUKA96Ueo+WKU3VmsFeJm5MKydHol396fsSgIfIJGjdZ0YvQkoFEzyamXaB4DG8OQdw0NIeDam8xCT+0zo/j2IFLmhWjP1L8bEwi0TgNqJgPAkV72MvE/r5vg4NqbiDBOkIdsfmiQSBsjO2vA9oXiDGVqCDAlTFabjUABQ9PTwhWNAahU+eaPLGdPSmrGxhxLpip3uZhV0rqourXq5X2tUr/JSyuSE3JKzolLrkid3JEGaRJGHskzeSVv1ov1bn1Yn/PRgpXvHJMFWF+/sC2hvQ=</latexit> <latexit sha1_base64="5vep7nCbjRhZ5rEQN9s1cI/sZFE=">ACGHicbVC7SgNBFJ2NrxhfUubwSBYhV1RtAzaWEYwD9iEcHd2Nhkyu7PM3BVCyGfYWOiv2ImtnX9i6STZwiQeGDic+zpzglQKg67RTW1jc2t4rbpZ3dvf2D8uFR06hM95gSirdDsBwKRLeQIGSt1PNIQ4kbwXDu2m9cS1ESp5xFHKuzH0ExEJBmglH4IAoCNDhaZXrhVdwa6SrycVEiOeq/80wkVy2KeIJNgjO+5KXbHoFEwySelTmZ4CmwIfe5bmkDMTXc8szyhZ1YJaS0fQnSmfp3YgyxMaM4sJ0x4MAs16bifzU/w+imOxZJmiFP2PxQlEmKik7/T0OhOUM5sgSYFtYrZQPQwNCmtHDFYAx6pEO7Y+qzI2Vg24YcSzYqbzmYVdK8qHqX1auHy0rtNg+tSE7IKTknHrkmNXJP6qRBGFHkmbySN+fFeXc+nM95a8HJZ47JApyvXxioOY=</latexit> <latexit sha1_base64="goaEZfstFv1SxfyiQGmTzJCr1Q=">ACL3icbZC7SgNBFIZn4y3GW9TSZjAIVmFXFC2DNpYRzAWSJZyZnSRDZi/MnBXCktansbHQVxEbsfUNLJ1cQJN4YODjP9f5WaKkQd9d3Irq2vrG/nNwtb2zu5ecf+gbuJUc1HjsYp1k4ERSkaihKVaCZaQMiUaLDBzTjfeBDayDi6x2Ei/B6kexKDmilTpEyYG0VxGgo+0UAxuiUO8WSW3YnQZfBm0GJzKLaKX63g5inoYiQKzCm5bkJ+hlolFyJUaGdGpEAH0BPtCxGEArjZ5OfjOiJVQLajbV9EdKJ+rcjg9CYchsZQjYN4u5sfhfrpVi98rPZJSkKCI+XdRNFcWYjm2hgdSCoxpaAK6lvZXyPmjgaM2b2IwBD3UgZ0xvrOtFLNlA4EFa5W3aMwy1M/K3n54u68VLmemZYnR+SYnBKPXJIKuSVUiOcPJIn8kJenWfnzflwPqelOWfWc0jmwvn6ARTAqZg=</latexit> Motivation transducers automata that transform combinatorial objects (’60s) abbaa . . . baaabab . . . . . . . .. bab . . . bbab . . . aabb . . . . . . . . . . . . . . .

  3. <latexit sha1_base64="Qs7Vli4OFN5bTSdrEC+NEFr6Js=">AB6nicbVDLSgNBEOyNrxhfUY9eBoPgKeyGiB6DXjxGzAuSJcxOepMhs7PLzKwQj7BiwdFvPpF3vwbJ8keNLGgoajqprsrSATXxnW/ndzG5tb2Tn63sLd/cHhUPD5p6ThVDJsFrHqBFSj4BKbhuBnUQhjQKB7WB8N/fbT6g0j2XDTBL0IzqUPOSMGis9NvqVfrHklt0FyDrxMlKCDPV+8as3iFkaoTRMUK27npsYf0qV4UzgrNBLNSaUjekQu5ZKGqH2p4tTZ+TCKgMSxsqWNGSh/p6Y0kjrSRTYzoiakV715uJ/Xjc14Y0/5TJDUq2XBSmgpiYzP8mA6QGTGxhDLF7a2EjaizNh0CjYEb/XldKqlL1q+eqhWqrdZnHk4QzO4RI8uIYa3EMdmsBgCM/wCm+OcF6cd+dj2ZpzsplT+APn8wfY5Y2F</latexit> <latexit sha1_base64="goaEZfstFv1SxfyiQGmTzJCr1Q=">ACL3icbZC7SgNBFIZn4y3GW9TSZjAIVmFXFC2DNpYRzAWSJZyZnSRDZi/MnBXCktansbHQVxEbsfUNLJ1cQJN4YODjP9f5WaKkQd9d3Irq2vrG/nNwtb2zu5ecf+gbuJUc1HjsYp1k4ERSkaihKVaCZaQMiUaLDBzTjfeBDayDi6x2Ei/B6kexKDmilTpEyYG0VxGgo+0UAxuiUO8WSW3YnQZfBm0GJzKLaKX63g5inoYiQKzCm5bkJ+hlolFyJUaGdGpEAH0BPtCxGEArjZ5OfjOiJVQLajbV9EdKJ+rcjg9CYchsZQjYN4u5sfhfrpVi98rPZJSkKCI+XdRNFcWYjm2hgdSCoxpaAK6lvZXyPmjgaM2b2IwBD3UgZ0xvrOtFLNlA4EFa5W3aMwy1M/K3n54u68VLmemZYnR+SYnBKPXJIKuSVUiOcPJIn8kJenWfnzflwPqelOWfWc0jmwvn6ARTAqZg=</latexit> <latexit sha1_base64="5vep7nCbjRhZ5rEQN9s1cI/sZFE=">ACGHicbVC7SgNBFJ2NrxhfUubwSBYhV1RtAzaWEYwD9iEcHd2Nhkyu7PM3BVCyGfYWOiv2ImtnX9i6STZwiQeGDic+zpzglQKg67RTW1jc2t4rbpZ3dvf2D8uFR06hM95gSirdDsBwKRLeQIGSt1PNIQ4kbwXDu2m9cS1ESp5xFHKuzH0ExEJBmglH4IAoCNDhaZXrhVdwa6SrycVEiOeq/80wkVy2KeIJNgjO+5KXbHoFEwySelTmZ4CmwIfe5bmkDMTXc8szyhZ1YJaS0fQnSmfp3YgyxMaM4sJ0x4MAs16bifzU/w+imOxZJmiFP2PxQlEmKik7/T0OhOUM5sgSYFtYrZQPQwNCmtHDFYAx6pEO7Y+qzI2Vg24YcSzYqbzmYVdK8qHqX1auHy0rtNg+tSE7IKTknHrkmNXJP6qRBGFHkmbySN+fFeXc+nM95a8HJZ47JApyvXxioOY=</latexit> <latexit sha1_base64="nOhyOz1a9+n1yoTrOBntVLqdNzQ=">AB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0WPRi8eK/YI2lM120y7dbMLuRCihP8GLB0W8+ou8+W/ctjlo64OBx3szMwLEikMu63U1hb39jcKm6Xdnb39g/Kh0ctE6ea8SaLZaw7ATVcCsWbKFDyTqI5jQLJ28H4bua3n7g2IlYNnCTcj+hQiVAwilZ6bPS9frniVt05yCrxclKBHPV+as3iFkacYVMUmO6npugn1GNgk+LfVSwxPKxnTIu5YqGnHjZ/NTp+TMKgMSxtqWQjJXf09kNDJmEgW2M6I4MsveTPzP6Y3viZUEmKXLHFojCVBGMy+5sMhOYM5cQSyrSwtxI2opoytOmUbAje8surpHVR9S6rVw+XldptHkcRTuAUzsGDa6jBPdShCQyG8Ayv8OZI58V5dz4WrQUnzmGP3A+fwDXY2E</latexit> <latexit sha1_base64="uWCbEYn82afSBWJvipScetRC9VA=">ACGnicbVC7SgNBFJ2NrxhfUubxSBYhV2JaBm0sYxgHpAs4c7sJBky+3DmrCEfIeNhf6Kndja+CeWziZbmMQDA4dz7p17ODSWQqPjfFuFtfWNza3idmlnd2/oHx41NJRohvskhGqkNBcylC3kSBkndixSGgkrfp+Dbz209caRGFD5jG3AtgGIqBYIBG8igAUKA96Ueo+WKU3VmsFeJm5MKydHol396fsSgIfIJGjdZ0YvQkoFEzyamXaB4DG8OQdw0NIeDam8xCT+0zo/j2IFLmhWjP1L8bEwi0TgNqJgPAkV72MvE/r5vg4NqbiDBOkIdsfmiQSBsjO2vA9oXiDGVqCDAlTFabjUABQ9PTwhWNAahU+eaPLGdPSmrGxhxLpip3uZhV0rqourXq5X2tUr/JSyuSE3JKzolLrkid3JEGaRJGHskzeSVv1ov1bn1Yn/PRgpXvHJMFWF+/sC2hvQ=</latexit> <latexit sha1_base64="RmSGkFbnLuSrGUxU6gAjYXqFA=">ACRXicbVDLSgMxFM34rPU16tJNsAiuykypj41QdOyQl/QliGTSdvQzIPkjlCG/olf48aF/oAf4U7EnWbaEfvwQuDc+4rx40EV2BZb8bK6tr6xmZuK7+9s7u3bx4cNlQYS8rqNBShbLlEMcEDVgcOgrUiyYjvCtZ0h7ep3nxgUvEwqMEoYl2f9APe45SAphzoiOEKwkdMsA1x8YdKX/TazynlWa0vGMWrKI1CbwM7AwUBZVx/zqeCGNfRYAFUSptm1F0E2IBE4FG+c7sWKRnk36rK1hQHymusnkf2N8qhkP90KpXwB4ws52JMRXauS7utInMFCLWkr+p7Vj6F1Ex5EMbCAThf1YoEhxKlZ2OSURAjDQiVXN+K6YBoD0BbOrdFgU/kSHp6Rnrn3OpVfaiMcugUSra5eL5fblQuclMy6FjdILOkI0uUQXdoSqI4oe0RN6Qa/Gs/FufBif09IVI+s5QnNhfP8AViGxhA=</latexit> Motivation transducers automata that transform combinatorial objects (’60s) abbaa . . . baaabab . . . . . . . .. bab . . . bbab . . . aabb . . . . . . . . . . . . . . . equivalence given J T 1 K = J T 2 K T 1 , , decide if T 2

  4. <latexit sha1_base64="Qs7Vli4OFN5bTSdrEC+NEFr6Js=">AB6nicbVDLSgNBEOyNrxhfUY9eBoPgKeyGiB6DXjxGzAuSJcxOepMhs7PLzKwQj7BiwdFvPpF3vwbJ8keNLGgoajqprsrSATXxnW/ndzG5tb2Tn63sLd/cHhUPD5p6ThVDJsFrHqBFSj4BKbhuBnUQhjQKB7WB8N/fbT6g0j2XDTBL0IzqUPOSMGis9NvqVfrHklt0FyDrxMlKCDPV+8as3iFkaoTRMUK27npsYf0qV4UzgrNBLNSaUjekQu5ZKGqH2p4tTZ+TCKgMSxsqWNGSh/p6Y0kjrSRTYzoiakV715uJ/Xjc14Y0/5TJDUq2XBSmgpiYzP8mA6QGTGxhDLF7a2EjaizNh0CjYEb/XldKqlL1q+eqhWqrdZnHk4QzO4RI8uIYa3EMdmsBgCM/wCm+OcF6cd+dj2ZpzsplT+APn8wfY5Y2F</latexit> <latexit sha1_base64="goaEZfstFv1SxfyiQGmTzJCr1Q=">ACL3icbZC7SgNBFIZn4y3GW9TSZjAIVmFXFC2DNpYRzAWSJZyZnSRDZi/MnBXCktansbHQVxEbsfUNLJ1cQJN4YODjP9f5WaKkQd9d3Irq2vrG/nNwtb2zu5ecf+gbuJUc1HjsYp1k4ERSkaihKVaCZaQMiUaLDBzTjfeBDayDi6x2Ei/B6kexKDmilTpEyYG0VxGgo+0UAxuiUO8WSW3YnQZfBm0GJzKLaKX63g5inoYiQKzCm5bkJ+hlolFyJUaGdGpEAH0BPtCxGEArjZ5OfjOiJVQLajbV9EdKJ+rcjg9CYchsZQjYN4u5sfhfrpVi98rPZJSkKCI+XdRNFcWYjm2hgdSCoxpaAK6lvZXyPmjgaM2b2IwBD3UgZ0xvrOtFLNlA4EFa5W3aMwy1M/K3n54u68VLmemZYnR+SYnBKPXJIKuSVUiOcPJIn8kJenWfnzflwPqelOWfWc0jmwvn6ARTAqZg=</latexit> <latexit sha1_base64="5vep7nCbjRhZ5rEQN9s1cI/sZFE=">ACGHicbVC7SgNBFJ2NrxhfUubwSBYhV1RtAzaWEYwD9iEcHd2Nhkyu7PM3BVCyGfYWOiv2ImtnX9i6STZwiQeGDic+zpzglQKg67RTW1jc2t4rbpZ3dvf2D8uFR06hM95gSirdDsBwKRLeQIGSt1PNIQ4kbwXDu2m9cS1ESp5xFHKuzH0ExEJBmglH4IAoCNDhaZXrhVdwa6SrycVEiOeq/80wkVy2KeIJNgjO+5KXbHoFEwySelTmZ4CmwIfe5bmkDMTXc8szyhZ1YJaS0fQnSmfp3YgyxMaM4sJ0x4MAs16bifzU/w+imOxZJmiFP2PxQlEmKik7/T0OhOUM5sgSYFtYrZQPQwNCmtHDFYAx6pEO7Y+qzI2Vg24YcSzYqbzmYVdK8qHqX1auHy0rtNg+tSE7IKTknHrkmNXJP6qRBGFHkmbySN+fFeXc+nM95a8HJZ47JApyvXxioOY=</latexit> <latexit sha1_base64="uWCbEYn82afSBWJvipScetRC9VA=">ACGnicbVC7SgNBFJ2NrxhfUubxSBYhV2JaBm0sYxgHpAs4c7sJBky+3DmrCEfIeNhf6Kndja+CeWziZbmMQDA4dz7p17ODSWQqPjfFuFtfWNza3idmlnd2/oHx41NJRohvskhGqkNBcylC3kSBkndixSGgkrfp+Dbz209caRGFD5jG3AtgGIqBYIBG8igAUKA96Ueo+WKU3VmsFeJm5MKydHol396fsSgIfIJGjdZ0YvQkoFEzyamXaB4DG8OQdw0NIeDam8xCT+0zo/j2IFLmhWjP1L8bEwi0TgNqJgPAkV72MvE/r5vg4NqbiDBOkIdsfmiQSBsjO2vA9oXiDGVqCDAlTFabjUABQ9PTwhWNAahU+eaPLGdPSmrGxhxLpip3uZhV0rqourXq5X2tUr/JSyuSE3JKzolLrkid3JEGaRJGHskzeSVv1ov1bn1Yn/PRgpXvHJMFWF+/sC2hvQ=</latexit> <latexit sha1_base64="nOhyOz1a9+n1yoTrOBntVLqdNzQ=">AB6nicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE0WPRi8eK/YI2lM120y7dbMLuRCihP8GLB0W8+ou8+W/ctjlo64OBx3szMwLEikMu63U1hb39jcKm6Xdnb39g/Kh0ctE6ea8SaLZaw7ATVcCsWbKFDyTqI5jQLJ28H4bua3n7g2IlYNnCTcj+hQiVAwilZ6bPS9frniVt05yCrxclKBHPV+as3iFkacYVMUmO6npugn1GNgk+LfVSwxPKxnTIu5YqGnHjZ/NTp+TMKgMSxtqWQjJXf09kNDJmEgW2M6I4MsveTPzP6Y3viZUEmKXLHFojCVBGMy+5sMhOYM5cQSyrSwtxI2opoytOmUbAje8surpHVR9S6rVw+XldptHkcRTuAUzsGDa6jBPdShCQyG8Ayv8OZI58V5dz4WrQUnzmGP3A+fwDXY2E</latexit> <latexit sha1_base64="RmSGkFbnLuSrGUxU6gAjYXqFA=">ACRXicbVDLSgMxFM34rPU16tJNsAiuykypj41QdOyQl/QliGTSdvQzIPkjlCG/olf48aF/oAf4U7EnWbaEfvwQuDc+4rx40EV2BZb8bK6tr6xmZuK7+9s7u3bx4cNlQYS8rqNBShbLlEMcEDVgcOgrUiyYjvCtZ0h7ep3nxgUvEwqMEoYl2f9APe45SAphzoiOEKwkdMsA1x8YdKX/TazynlWa0vGMWrKI1CbwM7AwUBZVx/zqeCGNfRYAFUSptm1F0E2IBE4FG+c7sWKRnk36rK1hQHymusnkf2N8qhkP90KpXwB4ws52JMRXauS7utInMFCLWkr+p7Vj6F1Ex5EMbCAThf1YoEhxKlZ2OSURAjDQiVXN+K6YBoD0BbOrdFgU/kSHp6Rnrn3OpVfaiMcugUSra5eL5fblQuclMy6FjdILOkI0uUQXdoSqI4oe0RN6Qa/Gs/FufBif09IVI+s5QnNhfP8AViGxhA=</latexit> Motivation transducers automata that transform combinatorial objects (’60s) abbaa . . . baaabab . . . . . . . .. bab . . . bbab . . . aabb . . . . . . . . . . . . . . . equivalence given J T 1 K = J T 2 K T 1 , , decide if T 2 Important classes of transductions can be described using both logic and automata.

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend