Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
Đo lường thực có ký hiệu của ngôn ngữ quy tắc
Tóm tắt
Bài báo này xây dựng một quy định đo lường có ký hiệu thực cho các ngôn ngữ con của một ngôn ngữ quy tắc dựa trên các nguyên lý của lý thuyết tự động và phân tích thực. Quy định này cho phép sắp xếp tổng thể bất kỳ tập hợp nào của các ngôn ngữ con được sắp xếp một phần từ ngôn ngữ quy tắc cho việc đánh giá định lượng hành vi được kiểm soát của các tự động hữu hạn xác định dưới sự giám sát khác nhau. Độ phức tạp tính toán của thuật toán đo lường ngôn ngữ là bậc đa thức theo số trạng thái.
Từ khóa
#Điều khiển tự động #Tự động học #Đo lường biến cơ khí #Độ phức tạp tính toán #Đa thức #Luật #Lý do pháp lý #Kỹ thuật cơ khí #Ngôn ngữ chính thức #Phân tích hiệu suấtTài liệu tham khảo
hopcroft, 2001, Introduction to Automata Theory Languages and Computation 2nd Ed
drobot, 1989, Formal Languages and Automata Theory
10.1007/978-1-4757-4070-7
10.1137/0325013
naylor, 1982, Linear Operator Theory in Engineering and Science, 10.1007/978-1-4612-5773-8
martin, 2001, Introduction to Languages and the Theory of Computation 2nd Ed
10.1007/978-1-4615-2217-1
wonham, 2001, Discrete Event System Control Theory and Application
rudin, 1987, Real and Complex Analysis 2nd Ed