Logical systems containing only a finite number of symbols | lit.salon