Definability and synthesis of transductions / Définissabilité et synthèse de transductions
👁 3 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Definability and synthesis of transductions / Définissabilité et synthèse de transductions. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Definability and synthesis of transductions / Définissabilité et synthèse de transductions. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
In the first part of this manuscript we focus on the study of rational functions, functions defined by one-way transducers.Our goal is to extend to transductions the many logic-algebra correspondences that have been established for languages, such as the celebrated Schützenberger-McNaughton-Papert Theorem. In the case of rational functions over finite words, we obtain a Myhill-Nerode-like characterization in terms of congruences of finite index. This characterization allows us to obtain a transf...