http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Cung cấp các kiến thức về toán học, thuật ngữ và phương pháp chứng minh toán học, khái niệm chung về ngôn ngữ, các thành phần và một số phép toán dùng xác định ngôn ngữ, văn phạm chính quy, khảo sát lớp văn phạm kế tiếp,...
Machine theory,Formal languages,Lý thuyết máy tính,Hình thức ngôn ngữ