TAILIEUCHUNG - Báo cáo khoa học: "Transforming Lattices into Non-deterministic Automata with Optional Null Arcs"

The problem of transforming a lattice into a non-deterministic finite state automaton is non-trivial. We present a transformation algorithm which tracks, for each node of an automaton under construction, the larcs which it reflects and the lattice nodes at their origins and extremities. An extension of the algorithm permits the inclusion of null, or epsilon, arcs in the output automaton. The algorithm has been successfully applied to lattices derived from dictionaries, . very large corpora of strings. . | Transforming Lattices into Non-deterministic Automata with Optional Null Arcs Mark Seligman Christian Boitet Boubaker Meddeb-Hamrouni Université Joseph Fourier GETA CLIPS IMAG-campus BP 53 150 rue de la Chimie 38041 Grenoble Cedex 9 France seligman@ @imag. fr Abstract The problem of transforming a lattice into a non-deterministic finite state automaton is non-trivial. We present a transformation algorithm which tracks for each node of an automaton under construction the lares which it reflects and the lattice nodes at their origins and extremities. An extension of the algorithm permits the inclusion of null or epsilon arcs in the output automaton. The algorithm has been successfully applied to lattices derived from dictionaries . very large corpora of strings. Introduction Linguistic data grammars speech recognition results etc. are sometimes represented as lattices and sometimes as equivalent finite state automata. While the transformation of automata into lattices is straightforward we know of no algorithm in the current literature for transforming a lattice into a non-deterministic finite state automaton. See . Hopcroft et al 1979 Aho et al 1982 . We describe such an algorithm here. Its main feature is the maintenance of complete records of the relationships between objects in the input lattice and their images on an automaton as these are added during transformation. An extension of the algorithm permits the inclusion of null or epsilon arcs in the output automaton. The method we present is somewhat complex but we have thus far been unable to discover a simpler one. One suggestion illustrates the difficulties this proposal was simply to slide lattice node labels leftward onto their incoming arcs and then starting with the final lattice node to merge nodes with identical outgoing arc sets. This strategy does successfully transform many lattices but fails on lattices like this one For this lattice the .

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.