Related Questions

Consider the following grammar (that admits a series of declarations, followed by expressions) and the associated syntax directed translation (SDT) actions, given as pseudo-code: P → D* E* D → int ID {record that ID.lexeme is of type int} D → bool ID { record that ID.lexeme is of type bool} E → E1 + E2 {check that E1.type = E2.type = int; set E.type := int} E → !E1 {check that E1.type = bool; set E.type := bool} E → ID {set E.type := int} With respect to the above grammar; which one of the following choices is correct?
Consider a system described by ẋ = Ax + Bu y = Cx + Du The system is completely output controllable if and only if Where: x = State vector (n-vector) u = Control vector (r-vector) y = Output vector (m-vector) A = n × n matrix B = n × r matrix C = m × n matrix D = m × r matrix