stanford-oval/wikipedia huggingface dataset:
Closterium juncidium

| Closterium juncidium> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Charophyta
Lớp (class): Zygnematophyceae
Bộ (ordo): Zygnematales
Họ (familia): Desmidiaceae
Chi (genus): Closterium
Loài (species): C. juncidium
Danh pháp hai phần
Closterium juncidium Ralfs 
Closterium juncidium  là một loài Song tinh tảo trong họ Desmidiaceae, thuộc chi Closterium.
Chú thích

↑  Closterium juncidium  (TSN 7334) tại Hệ thống Thông tin Phân loại Tích hợp (ITIS).
Sineugraphe longipennis

| Sineugraphe longipennis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Noctuidae
Chi (genus): Sineugraphe
Loài (species): S. longipennis
Danh pháp hai phần
Sineugraphe longipennis Boursin, 1948 
Sineugraphe longipennis là một loài bướm đêm trong họ Noctuidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 28 tháng 6 năm 2014.
↑  Beccaloni, G. W., Scoble, M. J., Robinson, G. S. & Pitkin, B. (Editors). (2003) The Global Lepidoptera Names Index (LepIndex). (Geraadpleegd maart 2013).
Sineugraphe bipartita

| Sineugraphe bipartita> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Noctuidae
Chi (genus): Sineugraphe
Loài (species): S. bipartita
Danh pháp hai phần
Sineugraphe bipartita Graeser, 1888 
Sineugraphe bipartita là một loài bướm đêm trong họ Noctuidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 28 tháng 6 năm 2014.
↑  Beccaloni, G. W., Scoble, M. J., Robinson, G. S. & Pitkin, B. (Editors). (2003) The Global Lepidoptera Names Index (LepIndex). (Geraadpleegd maart 2013).
Sineugraphe disgnosta

| Sineugraphe disgnosta> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Noctuidae
Chi (genus): Sineugraphe
Loài (species): S. disgnosta
Danh pháp hai phần
Sineugraphe disgnosta Boursin, 1948 
Sineugraphe disgnosta là một loài bướm đêm trong họ Noctuidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 28 tháng 6 năm 2014.
↑  Beccaloni, G. W., Scoble, M. J., Robinson, G. S. & Pitkin, B. (Editors). (2003) The Global Lepidoptera Names Index (LepIndex). (Geraadpleegd maart 2013).
Clelia (chi rắn)

| Mussurana |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Phân ngành (subphylum): Vertebrata
Lớp (class): Reptilia
Bộ (ordo): Squamata
Phân bộ (subordo): Serpentes
Họ (familia): Colubridae
Chi (genus): Clelia Fitzinger, 1826
Loài
 Clelia bicolor  Clelia clelia  Clelia equatoriana  Clelia errabunda  Clelia rustica  Clelia scytalina
Mmussurana hay musurana (tiếng Bồ Đào Nha muçurana) là một chi (Clelia) thuộc họ rắn Colubridae được tìm thấy ở Trung Mỹ và Nam Mỹ, từ Guatemala đến Brazil. Chúng chuyên ăn thịt các loài rắn khác. Chi này hiện có 6 loài được công nhận. Mussurana có chiều dài 1,5 đến 1,6 m, nhưng nó có thể có chiều dài lên đến 2,4 m. Khi còn trẻ, màu lưng của nó là màu hồng nhạt, và trở nên màu xanh biển chì khi nó trưởng thành. Bụng màu vàng hơi trắng. Nó có 10 đến 15 răng mạnh mẽ ở phía sau của miệng nó sử dụng để giữ đầu con rắn bị tấn công và đẩy nó vào thực quản của mình. Sau đó, nó cuộn cơ thể của nó xung quanh nạn nhân, giết chết nó bằng cách co thắt. Nó được miễn nhiễm với nọc độc của các con rắn độc bị nó ăn.
Các loài

Các loài hiện được công nhận:
Clelia bicolor (Peracca, 1904)
Clelia clelia (Daudin, 1803) (cũng gọi là Pseudoboa clelia – Serié, 1921; Pseudoboa occipitolutea – Serié, 1936; Boiruna maculata – Leynaud & Bucher, 1999)
Clelia equatoriana (Amaral, 1924)
Clelia errabunda Underwood, 1993
Clelia rustica (Cope, 1878)
Clelia scytalina (Cope, 1867)
Chú thích

1 2  Clelia (TSN 209463) tại Hệ thống Thông tin Phân loại Tích hợp (ITIS).
↑  Clelia. Catalogue of Life.
Ciemino, West Pomeranian Voivodeship

| Ciemino |
| --- | --- |
—  Village  —
 

Ciemino
Country:  Ba Lan
Voivodeship: West Pomeranian
County: Szczecinek
Gmina: Borne Sulinowo
Múi giờ: UTC+1, UTC+2 
Ciemino [t͡ɕeˈminɔ] (tiếng Đức: Groß Zemmin) là một ngôi làng thuộc khu hành chính của Gmina Borne Sulinowo, thuộc hạt Szczecinek, West Pomeranian Voivodeship, ở phía tây bắc Ba Lan.
Cieminko

| Cieminko |
| --- | --- |
—  Village  —
 

Cieminko
Country:  Ba Lan
Voivodeship: West Pomeranian
County: Drawsko
Gmina: Ostrowice
Múi giờ: UTC+1, UTC+2 
Mã bưu chính: 78-523 
Cieminko [t͡ɕeˈminkɔ] (trước đây là Zemmin của Đức) là một ngôi làng thuộc khu hành chính của Gmina Ostrowice, thuộc hạt Drawsko, West Pomeranian Voivodeship, ở phía tây bắc Ba Lan. Nó nằm khoảng 6 kilômét (4 mi) phía đông bắc của đà điểu, 23 km (14 mi) về phía đông bắc của Drawsko Pomorskie và 101 km (63 mi) về phía đông của thủ đô khu vực Szczecin.
Trước 1772, khu vực này là một phần của Vương quốc Ba Lan, 1772-1945 Phổ và Đức. Để biết thêm về lịch sử của nó, xem Hạt Drahim và Lịch sử của Pomerania.
Cochleosauridae

| Cochleosauridae |
| --- | --- |
Cochleosaurus
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Amphibia
Bộ (ordo): †Temnospondyli
Liên họ (superfamilia): †Edopoidea
Họ (familia): †Cochleosauridae
Các chi
 †Adamanterpeton  †Chenoprosopus  †Cochleosaurus  †Macrerpeton  †Nigerpeton  †Gaudrya  †Procochleosaurus 
Cochleosauridae là một họ Temnospondyli.
Chòi mòi gân lõm

| Antidesma montanum |
| --- | --- |

Phân loại khoa học
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Malpighiales
Họ (familia): Phyllanthaceae
Tông (tribus): Antidesmeae
Chi (genus): Antidesma
Loài (species): A. montanum
Danh pháp hai phần
Antidesma montanum Blume 
Chòi mòi gân lõm hay chòi mòi rừng, chòi mòi quả nhẵn (danh pháp: Antidesma montanum) là một loài thực vật có hoa trong họ Diệp hạ châu. Loài này được Blume mô tả khoa học đầu tiên năm 1827.
Chú thích

↑  The Plant List (2010). “Antidesma montanum”. Truy cập ngày 25 tháng 6 năm 2013.
Closterus breviramis

| Closterus breviramis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Closterus
Loài (species): C. breviramis
Danh pháp hai phần
Closterus breviramis Lameere, 1920 
Closterus breviramis là một loài bọ cánh cứng trong họ Cerambycidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Chòi mòi chùm đơn

| Antidesma poilanei> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Malpighiales
Họ (familia): Phyllanthaceae
Chi (genus): Antidesma
Loài (species): A. poilanei
Danh pháp hai phần
Antidesma poilanei Gagnep. 
Chòi mòi chùm đơn hay chòi mòi cuống, chòi mòi Poilane (danh pháp: Antidesma poilanei) là một loài thực vật có hoa trong họ Diệp hạ châu. Loài này được Gagnep. mô tả khoa học đầu tiên năm 1923.
Chú thích

↑  The Plant List (2010). “Antidesma poilanei”. Truy cập ngày 25 tháng 6 năm 2013.
Sóc chuột Swinhoe

| Sóc chuột Swinhoe |
| --- | --- |

Tình trạng bảo tồn
 Ít quan tâm  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Mammalia
Bộ (ordo): Rodentia
Họ (familia): Sciuridae
Chi (genus): Tamiops
Loài (species): T. swinhoei
Danh pháp hai phần
Tamiops swinhoei (Milne-Edwards, 1874) 
Sóc chuột Swinhoe (danh pháp hai phần: Tamiops swinhoei) là một loài động vật thuộc chi Sóc chuột châu Á, họ Sóc chuột. Loài này có phân bố rộng, trải dài từ miền trung Trung Quốc về phía nam tới miền bắc Myanma và miền bắc Việt Nam (Smith & Xie 2008). Nó cũng có thể có ở Lào, nhưng vẫn chưa có ghi chép nào được xác nhận (Duckworth & Lunde 2004). Phạm vi phân bố của nó không chồng lấn đáng kể với phạm vi phân bố của T. mcclellandi, nhưng ở những nơi nào có chồng lấn thì ở đó có phân biệt theo cao độ (T. swinhoei: 2.500-3.000 m trên mực nước biển còn T. mcclellandi: 300–600 m trên mực nước biển) (Smith & Xie 2008). Loài này sinh sống ở cao độ trong khoảng từ 1.000 m (Duckworth & Lunde 2004) tới 3.900 m trên mực nước biển (Li et al. 2006).
Phân loài

T. s. swinhoei
T. s. olivaceus
T. s. spencei
T. s. vestitus
Chú thích

↑  Duckworth, J. W. & Lunde, D. (2008). Tamiops swinhoei. 2008 Sách đỏ IUCN. Liên minh Bảo tồn Thiên nhiên Quốc tế 2008. Truy cập ngày 8 tháng 1 năm 2009.
↑  Thorington, R.W., Jr.; Hoffmann, R.S. (2005). “Family Sciuridae”.  Trong Wilson, D.E.; Reeder, D.M (biên tập). Mammal Species of the World: a taxonomic and geographic reference (ấn bản thứ 3). The Johns Hopkins University Press. tr. 754–818. ISBN 0-8018-8221-4. OCLC 26158608.
Smilax quinquenervia

| Smilax quinquenervia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Liliales
Họ (familia): Smilacaceae
Chi (genus): Smilax
Loài (species): S. quinquenervia
Danh pháp hai phần
Smilax quinquenervia Vell., 1831 
Smilax quinquenervia là một loài thực vật có hoa trong họ Smilacaceae. Loài này được Vell. miêu tả khoa học đầu tiên năm 1831.
Chú thích

↑  The Plant List (2010). “Smilax quinquenervia”. Truy cập ngày 20 tháng 7 năm 2013.
Clubiona basarukini

| Clubiona basarukini> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Clubionidae
Chi (genus): Clubiona
Loài (species): C. basarukini
Danh pháp hai phần
Clubiona basarukini Mikhailov, 1990 
Clubiona basarukini là một loài nhện trong họ Clubionidae.
Loài này thuộc chi Clubiona. Clubiona basarukini được miêu tả năm 1990 bởi Mikhailov.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Clubiona bakurovi

| Clubiona bakurovi> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Clubionidae
Chi (genus): Clubiona
Loài (species): C. bakurovi
Danh pháp hai phần
Clubiona bakurovi Mikhailov, 1990 
Clubiona bakurovi là một loài nhện trong họ Clubionidae.
Loài này thuộc chi Clubiona. Clubiona bakurovi được miêu tả năm 1990 bởi Mikhailov.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Siratus lamyi

| Siratus lamyi> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Mollusca
Lớp (class): Gastropoda
Liên họ (superfamilia): Muricoidea
(không phân hạng): nhánh Caenogastropoda nhánh Hypsogastropoda nhánh Neogastropoda
Họ (familia): Muricidae
Phân họ (subfamilia): Muricinae
Chi (genus): Siratus
Loài (species): S. lamyi
Danh pháp hai phần
Siratus lamyi Merle & Garrigues, 2008 
Siratus lamyi là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Muricidae, họ ốc gai.
Chú thích

↑  Siratus lamyi Merle & Garrigues, 2008. World Register of Marine Species, truy cập 24 tháng 4 năm 2010.
Chòi mòi chua

| Antidesma acidum |
| --- | --- |

Phân loại khoa học
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Malpighiales
Họ (familia): Phyllanthaceae
Tông (tribus): Antidesmeae
Chi (genus): Antidesma
Loài (species): A. acidum
Danh pháp hai phần
Antidesma acidum Retz. 
Danh pháp đồng nghĩa
  Danh sách  Antidesma diandrum (Roxb.) Spreng. [Illegitimate]    Antidesma diandrum (Roxb.) Roth    Antidesma diandrum var. javanicum (J.J.Sm.) Pax & K.Hoffm.    Antidesma diandrum f. javanicum J.J.Sm.    Antidesma diandrum var. lanceolatum Tul.    Antidesma diandrum var. ovatum Tul.    Antidesma diandrum var. parvifolium Tul.    Antidesma lanceolarium (Roxb.) Steud.    Antidesma lanceolarium (Roxb.) Wight    Antidesma parviflorum Ham. ex Pax & K.Hoffm.    Antidesma sylvestre Wall. [Invalid]    Antidesma wallichianum C.Presl    Stilago diandra Roxb.    Stilago lanceolaria Roxb.  Synonyms From theplantlist.org 
Chòi mòi chua (danh pháp hai phần: Antidesma acidum) là một loài thực vật có hoa trong họ Diệp hạ châu. Loài này được Retz. mô tả khoa học đầu tiên năm 1788.
Chú thích

↑  The Plant List (2010). “Antidesma acidum”. Truy cập ngày 25 tháng 6 năm 2013.
Mã giả

Mã giả (tiếng Anh: Pseudocode, xuất phát từ chữ pseudo và code) là một bản mô tả giải thuật lập trình máy tính ngắn gọn và không chính thức cấp cao, trong đó sử dụng những quy ước có cấu trúc của một số ngôn ngữ lập trình, nhưng thường bỏ đi những chi tiết không cần thiết để giúp hiểu rõ giải thuật hơn, như bỏ đi chương trình con, khai báo biến và những đoạn mã đặc biệt của hệ thống. Ngôn ngữ lập trình được bổ sung bằng những mô tả chi tiết bằng ngôn ngữ tự nhiên ở nơi thích hợp, hoặc bằng ký hiệu toán học đơn giản. Mục đích của việc sử dụng mã giả là nó có thể con người đọc hiểu dễ dàng hơn những ngôn ngữ lập trình thông thường, và mã giả có thể là một bản mô tả cô đọng và độc lập với môi trường phát triển ghi lại những nguyên lý chủ chốt của một giải thuật. Không có bất cứ tiêu chuẩn nào cho cú pháp mã giả, vì một chương trình viết bằng mã giả không phải là một chương trình có thể thực thi được.
Lưu đồ (flowchart) có thể được xem là một bản thay thế cho mã giả được mô tả bằng hình ảnh. Mã giả rất giống, nhưng không nên lẫn lộn, với các chương trình khung trong đó có dummy code, và có thể được biên dịch mà không tạo ra lỗi.
Cú pháp

Như điều cái tên nói lên, mã giả nói chung không thực sự tuân theo quy tắc cú pháp của một ngôn ngữ cụ thể nào; không có dạng chuẩn hệ thống, mặc dù bất kỳ người viết cụ thể nào nói chung cũng sẽ mượn hình thức của một ngôn ngữ nào đó. Những ngôn ngữ thường được mượn là Pascal, BASIC, C, Java, Lisp, và ALGOL. Những chi tiết không thích hợp với giải thuật (như mã quản lý bộ nhớ) thường bị bỏ đi. Những khối mã, như mã nằm trong một vòng lặp, có thể được mô tả chỉ bằng một câu viết bằng ngôn ngữ tự nhiên.
Tùy vào người viết, mã giả do đó rất khác nhau về phong cách, từ sự bắt chước gần như chính xác một ngôn ngữ lập trình có thật, đến một bản mô tả mà đối với người khác đó gần như là một bản văn xuôi được định dạng.
Ứng dụng

Sách giáo khoa và bài báo khoa học liên quan đến khoa học máy tính và tính toán số thường sử dụng mã giả để mô tả giải thuật, để cho tất cả các lập trình viên đều có thể hiểu chúng, mặc dù tất cả họ không cùng biết một ngôn ngữ lập trình như nhau. Trong sách giáo khoa, thường có một đoạn giới thiệu đi kèm giải thích về những quy ước cụ thể được sử dụng. Mức độ chi tiết của những ngôn ngữ như vậy trong một số trường hợp có thể gần đạt đến những ngôn ngữ đa mục đích hình thức hóa — ví dụ, cuốn phôi thai của Knuth The Art of Computer Programming (Nghệ thuật lập trình máy tính) mô tả những giải thuật bằng ngôn ngữ assembly được mô tả đầy đủ dành cho những vi xử lý không tồn tại.
Một lập trình viên khi cần hiện thực một giải thuật cụ thể nào đó, đặc biệt là một giải thuật mà họ chưa biết, thường bắt đầu bằng một bản mô tả bằng mã giả, rồi sau đó chỉ đơn giản là "dịch" bản mô tả đó thành ngôn ngữ lập trình tương ứng và chính sửa để giao tiếp đúng với toàn bộ phần chương trình. Các lập trình viên cũng thường bắt đầu một dự án bằng cách thảo ra những đoạn mã bằng mã giả trên giấy trước khi viết chúng bằng ngôn ngữ thật sự của nó, là một cách tiếp cận có hệ thống theo dạng top-down (từ trên xuống).
Ví dụ về mã giả

Một ví dụ về mã giả khác nhau với mã thường.
| --- | --- |
Mã thông thường (viết bằng PHP): <?php if (is_valid($cc_number)) {   execute_transaction($cc_number, $order); } else {   show_failure(); } ?> : Mã giả: if số thẻ tín dụng là đúng then thực hiện giao dịch dựa trên số và thứ tự else hiển thị thông báo thất bại end if
Mã giả của chương trình Hello World vô cùng đơn giản:
output: Hello World
Mã giả dạng toán học

Trong tính toán số, mã giả thường bao gồm ký hiệu toán học, thường từ lý thuyết tập hợp và ma trận, trộn lẫn với các cấu trúc điều khiển của một ngôn ngữ lập trình quy ước, và có thể cũng có mô tả bằng ngôn ngữ tự nhiên. Đây là một dạng ký hiệu cô đọng và thường không chính thức, giúp cho nhiều người có được học về toán có thể hiểu được, và thường được dùng để mô tả giải thuật toán học.
Thông thường những kiểu chữ không phải ASCII được dùng trong các phương trình toán học, ví dụ bằng mã đánh dấu TeX hoặc MathML, hoặc trình soạn thảo công thức tốn phí.
Mã giả theo kiểu toán học đôi khi còn được gọi là mã tiếng bồi (pidgin code), ví dụ ALGOL bồi (nguồn gốc của khái niệm), Fortran bồi, BASIC bồi, Pascal bồi, và C bồi.
Biên dịch hoặc thông dịch máy

Người ta thường đề nghị rằng những ngôn ngữ lập trình trong tương lại sẽ ngày càng tương tự như mã giả hoặc ngôn ngữ tự nhiên hơn là những ngôn ngữ hiện tại; ý tưởng đó là tốc độ máy tính ngày càng tăng và những tiến bộ trong công nghệ trình biên dịch sẽ cho phép máy tính tạo ra những chương trình từ những bản mô tả giải thuật, thay vì yêu cầu chi tiết phải do con người hiện thực.
Đã có nhiều cố gắng nhàm mang những yếu tố ngôn ngữ tự nhiên vào lập trình máy tính, và nó đã tạo ra những ngôn ngữ lập trình như HyperTalk, Lingo, AppleScript, SQL và Inform. Trong những ngôn ngữ này, dấu ngoặc đơn và những ký tự đặc biệt khác được thay thế bằng giới từ, dẫn đến một đoạn mã nói lên được nhiều điều. Điều này có thể khiến một người hiểu dễ dàng hơn mà không cần có kiến thức về ngôn ngữ và có thể cùng để học ngôn ngữ. Tuy nhiên, sự tương tự với ngôn ngữ tự nhiên thường chỉ là bề ngoài chứ chưa phải là thực chất. Các quy tắc cú pháp cũng chỉ nghiêm ngặt và hình thức như trong ngôn ngữ quy ước, và không khiến cho việc phát triển phần mềm dễ dàng hơn.
Biên dịch hoặc thông dịch máy > Các ngôn ngữ lập trình toán học

Một cách thay thế cho việc sử dụng mã giả toán học (sử dụng ký hiệu lý thuyết tập hợp hoặc phép toán ma trận) để ghi lại giải thuật đó là sử dụng một ngôn ngữ lập trình toán học hình thức, là một sự pha trộn giữa các ký hiệu toán học không phải ASCII với cấu trúc điều khiển chương trình. Nhờ đó đoạn mã có thể được phân tích cú pháp và thông dịch bằng máy.
Một vài ngôn ngữ mô tả hình thức bao gồm ký hiệu lý thuyết tập hợp sử dụng các ký tự đặc biệt. Ví dụ như:
Ký hiệu Z
Ngôn ngữ mô tả Phương pháp Phát triển Vienna (VDM-SL).
Một số ngôn ngữ lập trình mảng bao gồm các biểu thức véc-tơ hóa và phép toán ma trận như các công thức không ASCII, pha trộn với cấu trúc điều khiển quy ước. Ví dụ:
ngôn ngữ lập trình A (APL), và biến thể của nó APLX và A+.
Siphonochelus nipponensis

| Siphonochelus nipponensis |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Mollusca
Lớp (class): Gastropoda
Liên họ (superfamilia): Muricoidea
(không phân hạng): nhánh Caenogastropoda nhánh Hypsogastropoda nhánh Neogastropoda
Họ (familia): Muricidae
Phân họ (subfamilia): Typhinae
Chi (genus): Siphonochelus
Phân chi (subgenus): Siphonochelus
Loài (species): S. nipponensis
Danh pháp hai phần
Siphonochelus nipponensis Keen & Campbell, 1964 
Danh pháp đồng nghĩa
 Siphonochelus nipponensis Keen & Campbell, 1964
Siphonochelus nipponensis là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Muricidae, họ ốc gai.
Chú thích

1 2  Siphonochelus nipponensis Keen & Campbell, 1964. World Register of Marine Species, truy cập 24 tháng 4 năm 2010.
Skimmia japonica

| Skimmia japonica |
| --- | --- |

Phân loại khoa học
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Sapindales
Họ (familia): Rutaceae
Chi (genus): Skimmia
Loài (species): S. japonica
Danh pháp hai phần
Skimmia japonica Thunberg, 
Skimmia japonica là một loài thực vật có hoa trong họ Cửu lý hương. Loài này được Thunb. miêu tả khoa học đầu tiên năm 1783.
Hình ảnh

Inflorescence.
Chú thích

↑  The Plant List (2010). “Skimmia japonica”. Truy cập ngày 12 tháng 6 năm 2013.[liên kết hỏng]
Clusia decussata

| Clusia decussata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Malpighiales
Họ (familia): Clusiaceae
Chi (genus): Clusia
Loài (species): C. decussata
Danh pháp hai phần
Clusia decussata Ruiz & Pav. ex Planch. & Triana 
Clusia decussata là một loài thực vật có hoa trong họ Bứa. Loài này được Ruiz & Pav. ex Planch. & Triana mô tả khoa học đầu tiên năm 1860.
Chú thích

↑  The Plant List (2010). “Clusia decussata”. Truy cập ngày 2 tháng 9 năm 2013.
Siphonochelus longicornis

| Siphonochelus longicornis |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Mollusca
Lớp (class): Gastropoda
Liên họ (superfamilia): Muricoidea
(không phân hạng): nhánh Caenogastropoda nhánh Hypsogastropoda nhánh Neogastropoda
Họ (familia): Muricidae
Phân họ (subfamilia): Typhinae
Chi (genus): Siphonochelus
Phân chi (subgenus): Trubatsa
Loài (species): S. longicornis
Danh pháp hai phần
Siphonochelus longicornis (Dall, 1888) 
Danh pháp đồng nghĩa
 Typhis longicornis Dall, 1888
Siphonochelus longicornis là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Muricidae, họ ốc gai.
Chú thích

1 2  Siphonochelus longicornis (Dall, 1888). World Register of Marine Species, truy cập 24 tháng 4 năm 2010.
Clusia divaricata

| Clusia divaricata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Malpighiales
Họ (familia): Clusiaceae
Chi (genus): Clusia
Loài (species): C. divaricata
Danh pháp hai phần
Clusia divaricata Maguire, 1978 
Clusia divaricata là một loài thực vật có hoa trong họ Bứa. Loài này được Maguire mô tả khoa học đầu tiên năm 1978.
Chú thích

↑  The Plant List (2010). “Clusia divaricata”. Truy cập ngày 2 tháng 9 năm 2013.
Siphonochelus lozoueti

| Siphonochelus lozoueti |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Mollusca
Lớp (class): Gastropoda
Liên họ (superfamilia): Muricoidea
(không phân hạng): nhánh Caenogastropoda nhánh Hypsogastropoda nhánh Neogastropoda
Họ (familia): Muricidae
Phân họ (subfamilia): Typhinae
Chi (genus): Siphonochelus
Phân chi (subgenus): Siphonochelus
Loài (species): S. lozoueti
Danh pháp hai phần
Siphonochelus lozoueti Houart, 1991 
Danh pháp đồng nghĩa
 Siphonochelus lozoueti Houart, 1991
Siphonochelus lozoueti là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Muricidae, họ ốc gai.
Chú thích

1 2  Siphonochelus lozoueti Houart, 1991. World Register of Marine Species, truy cập 24 tháng 4 năm 2010.
Clusia deminuta

| Clusia deminuta> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
(không phân hạng): Rosids
Bộ (ordo): Malpighiales
Họ (familia): Clusiaceae
Chi (genus): Clusia
Loài (species): C. deminuta
Danh pháp hai phần
Clusia deminuta Pipoly, 1999 
Clusia deminuta là một loài thực vật có hoa trong họ Bứa. Loài này được Pipoly mô tả khoa học đầu tiên năm 1999.
Chú thích

↑  The Plant List (2010). “Clusia deminuta”. Truy cập ngày 2 tháng 9 năm 2013.