Về Tính Quyết Định Của Vấn Đề Bao Gồm Infix

Theory of Computing Systems - Trang 1-21 - 2024
Hyunjoon Cheon1, Joonghyuk Hahn1, Yo-Sub Han1
1Department of Computer Science, Yonsei University, Seoul, Republic of Korea

Tóm tắt

Chúng tôi giới thiệu vấn đề bao gồm infix của hai ngôn ngữ S và T, quyết định xem S có phải là một tập con của tập tất cả các infix của T hay không. Vấn đề này được thúc đẩy bởi nhu cầu xác định các mẫu tính toán độc hại theo ngữ nghĩa của chúng, thường bị ngụy trang bằng các mẫu phụ bổ sung xung quanh thông tin. Nói cách khác, các mẫu độc hại được nhúng như một infix của toàn bộ mẫu. Chúng tôi xem xét vấn đề bao gồm infix cho trường hợp mà nguồn S và mục tiêu T là các ngôn ngữ hữu hạn, chính quy hoặc ngữ cảnh tự do. Chúng tôi chứng minh rằng vấn đề này 1) là co-NP-complete khi một trong các ngôn ngữ là hữu hạn, 2) là PSPACE-complete khi cả S và T đều chính quy, 3) là EXPTIME-complete khi S là ngữ cảnh tự do và T là chính quy, 4) không thể quyết định khi S là chính quy hoặc ngữ cảnh tự do và T là ngữ cảnh tự do, và 5) không thể quyết định khi một trong S và T thuộc lớp ngôn ngữ mà tính chất rỗng của các ngôn ngữ của nó là không thể quyết định, ngay cả khi cái còn lại là hữu hạn. Hơn nữa, chúng tôi khám phá vấn đề bao gồm infix cho các ngôn ngữ đẩy có thể nhìn thấy, một phân lớp của các ngôn ngữ ngữ cảnh tự do.

Từ khóa

#ngôn ngữ #vấn đề bao gồm infix #tính quyết định #ngôn ngữ có thể nhìn thấy đẩy #ngôn ngữ chính quy #ngôn ngữ ngữ cảnh tự do

Tài liệu tham khảo

Chapman, C., Stolee, K.T.: Exploring regular expression usage and context in Python. In: Proceedings of the 25th international symposium on software testing and analysis, pp 282–293 (2016) Davis, J.C., Michael IV, L.G., Coghlan, C.A., Servant, F., Lee, D.: Why aren’t regular expressions a lingua franca? an empirical study on the reuse and portability of regular expressions. In: Proceedings of the 27th ACM joint meeting on European software engineering conference and symposium on the foundations of software engineering, pp 443–454 (2019) McNaughton, R., Yamada, H.: Regular expressions and state graphs for automata. IRE Trans. Elect. Comput. EC-9(1), 39–47 (1960) Thompson, K.: Programming techniques: Regular expression search algorithm. Commun. ACM 11(6), 419–422 (1968) Spencer, H.: A regular-expression matcher. In: Software solutions in C, academic press professional, Inc., MA, USA, pp 35–71 (1994) Berglund, M., Drewes, F., van der Merwe, B.: Analyzing catastrophic backtracking behavior in practical regular expression matching. In: Proceedings of the 14th international conference on automata and formal languages, pp 109–123 (2014) Davis, J.C., Coghlan, C.A., Servant, F., Lee, D.: The impact of regular expression denial of service (ReDoS) in practice: an empirical study at the ecosystem scale. In: Proceedings of the 26th ACM joint meeting on European software engineering conference and symposium on the foundations of software engineering, pp 246–256 (2018) Wüstholz, V., Olivo, O., Heule, M.J.H., Dillig, I.: Static detection of DoS vulnerabilities in programs that use regular expressions. In: Proceedings of the 23rd international conference on tools and algorithms for the construction and analysis of systems, Part II, pp 3–20 (2017) Meyer, A.R., Stockmeyer, L.J.: The equivalence problem for regular expressions with squaring requires exponential space. In: Proceedings of the 13th annual symposium on switching and automata theory, pp 125–129 (1972) Câmpeanu, C., Moreira, N., Reis, R.: Distinguishability operations and closures. Fund. Informaticae 148(3–4), 243–266 (2016) Gao, Y., Moreira, N., Reis, R., Yu, S.: A survey on operational state complexity. J. Automata, Language Combinator. 21(4), 251–310 (2017) Pribavkina, E.V., Rodaro, E.: State complexity of prefix, suffix, bifix and infix operators on regular languages. In: Proceedings of the 14th international conference on developments in language theory, pp 376–386 (2010) Pribavkina, E.V., Rodaro, E.: State complexity of code operators. Int. J. Found. Comput. Sci. 22(7), 1669–1681 (2011) Alur, R., Madhusudan, P.: Visibly pushdown languages. In: Proceedings of the 36th annual ACM symposium on theory of computing, pp 202–211 (2004) Geffert, V., Bednároná, Z., Szabari, A.: Input-driven pushdown automata for edit distance neighborhood. Theoretical Comput. Sci. 918, 105–122 (2022) Sipser, M.: Introduction to the Theory of Computation, 3rd edn. Cengage Learning, MA, USA (2013) Wood, D.: Theory of Computation. Harper & Row, NY, USA (1987) Arora, S., Barak, B.: Computational Complexity - A Modern Approach. Cambridge University Press, UK (2009) Chandra, A.K., Stockmeyer, L.J.: Alternation. In: Proceedings of the 17th annual symposium on foundations of compuer science, pp 98–108 (1974) Clemente, L.: On the complexity of the universality and inclusion problems for unambiguous context-free grammars. In: Proceedings of the 8th international workshop on verification and program transformation and 7th workshop on horn clauses for verification and synthesis, pp 29–43 (2020) Bousquet, N., Löding, C.: Equivalence and inclusion problem for strongly unambiguious Büchi automata. In: Proceedings of the 4th international conference on language and automata theory and applications, pp 118–129 (2010) Bruyère, V., Ducobu, M., Gauwin, O.: Visibly pushdown automata: Universality and inclusion via antichains. In: Proceedings of the 7th international conference on language and automata theory and applications, pp 190–201 (2013) Champavère, J., Gilleron, R., Lemay, A., Niehren, J.: Efficient inclusion checking for deterministic tree automata and XML schemas. Inf. Comput. 207(11), 1181–1208 (2009) Clemente, L., Mayr, R.: Efficient reduction of nondeterministic automata with application to language inclusion testing. Logical Methods Comput. Sci. 15(1), 12–11273 (2019) Cheon, H., Hahn, J., Han, Y.-S.: On the decidability of infix inclusion problem. In: Proceedings of the 26th international conference on developments in language theory, pp 115–126 (2022)