Ngôn ngữ quy ước (symbolic) và xác xuất thống kê (stochastic)